Agda changed the behaviour of the termination checker.