parse the tree back to ltl formulas