define C(letters) in spec to ensure group updates on seeing new letter
typo in debug message
Merge branch 'spec_rewriting' of github.com:LTLMoP/LTLMoP into openworld