This intention converts range check (in) to two consecutive comparisons