checked out resynthesis.py and lib/LTLParser from LTLMoP/spec_rewriting branch