Function max

pub fn max(a: impl Operand, b: impl Operand) -> Result<Expr>

The larger of a and b; a symbolic infinity on either side decides it (C++ max, prim._OpMax).