public override sealed ABT.Expr GetExpr(ABT.Env env) => Assignment.Create(this.Left, ConstructBinaryOp()).GetExpr(env); }