modify LTL with new goal order