pub fn if(arg1: Expr, arg2: Expr, arg3: Expr) -> Expr
If arg1 evaluates to true, then returns arg2; otherwise returns arg3