It's a modifier, not a predicate.
More generalisation in unit tests.

Change more hardcoded state values to regex-derived lit variables.
Only output instance name if one exists.

If a state doesn't have any instance variables in its name, don't output the empty set "()".
Escape quotes in original-source references. Ish.
Implement min and max repetition.

Allow specification of "do this at least twice" or "do that at most thrice".