complement_op
enum op rev_op = complement_op(op);
return !range_canbe_op(t, x, y, complement_op(op));