added ltl regression tests