Safe optimisation: early-abort when tri ends: watches are sorted here