minor changes/comments in fsa and resynthesis
Update SLURP.
Merge branch 'development' of https://github.com/LTLMoP/LTLMoP into development