for a, b being set st a <> b holds
Terminals (IterGrammar (a,b)) = {b}