Bits of 'x > 0.if'-like expressions support