detect constant increments
extend to non-constant but loop invariant strides