So the compiler can merge two computation loops without proving termination.