corrected format of ltl created by fsa.stateToLTL to \!next(prop)