modified parser
ltl checker