public virtual Expr Old(Expr operand) { return(UB.Old(operand)); }
public override Expr VisitOldExpr(OldExpr node) { var newArg = (Expr)this.Visit(node.Expr); return(Builder.Old(newArg)); }