corrected format of ltl created by fsa.stateToLTL to \!next(prop)
Merge pull request #56 from wongkaiweng/development

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