Added two LTL parser new tests.