Ternary operation (`a ? b : c`) -> and (`&&`)