Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent (Logical Methods in Computer Science, 2026)