checked out resynthesis.py from LTLMoP/spec_rewriting branch