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