Infer Expr.If
Add bool literal