Implement "strength reduction" of X <= C and X >= C