Suppose I have a BoolExpr called B. And I have two LinExpr: X and Y. I want a LinExpr that is equivalent to: if (B) then X else Y However I don't see support for an if-then-else construct. Is there a way to implement this? Ruben