back to old version of spoofax
added start and State
Added constraint : no goto  start state check