public static Expr Create(Expr expr) => new Negative(expr); public override ABT.Expr GetExpr(ABT.Env env) {