Implements ltlsetup