Added more LTL tests.
a shitload of new tests.