Grammar bugfix for LTL + added some tests.
Bugfix