public BinaryExpression Ge0(Expression exp) { return new BinaryExpression(Operator.Ge, PrimitiveType.Bool, exp, Constant.Zero(exp.DataType)); }