ed9ede8936
the step expression. The semantics of "step" are now clearer: It will no longer be negated based on the "increasing" property; if the progression is decreasing (i.e., for "downTo" progressions), then it must be negative. The "increasing" property is still used when building the emptiness condition.