Implement the TODO in loop flattening to version the loop when we can't prove that the trip count calculation won't overflow.