public override Expr VisitIdentifierExpr(IdentifierExpr node) { return(base.VisitIdentifierExpr((IdentifierExpr)node.Clone())); }
public override Expr VisitIdentifierExpr(IdentifierExpr node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result<Expr>() != null); return base.VisitIdentifierExpr((IdentifierExpr)node.Clone()); }
public override Expr VisitIdentifierExpr(IdentifierExpr node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result <Expr>() != null); return(base.VisitIdentifierExpr((IdentifierExpr)node.Clone())); }