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