Teach IndVarSimplify how to eliminate comparisons involving induction