Removed constant constraint ids 'first' and 'last' since the order of constraints is not necessary when dealing with LTL formulae