Added new prolog generator methods for the exists and forall ltl formulas + changed the appropriate unit tests to more sensible tests.