renamed Ltl -> LTL