Revert "[IndVarSimplify] Rewrite loop exit values with their initial values from...