Text this: Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent