public override Expr VisitNAryExpr(NAryExpr node)
{
node = (NAryExpr)node.Clone();
node.Args = base.VisitExprSeq(node.Args);
if (node.Fun is FunctionCall)
{
var nf = node.Fun as FunctionCall;
if (nf.Func != null)
{
node.Fun = new FunctionCall(nf.Func);
}
else
{
node.Fun = nf.createUnresolvedCopy();
}
}
return(node); // base.VisitNAryExpr(node);
}
public override Expr VisitNAryExpr(NAryExpr node) {
//Contract.Requires(node != null);
Contract.Ensures(Contract.Result<Expr>() != null);
return base.VisitNAryExpr((NAryExpr)node.Clone());
}
public override Expr VisitNAryExpr(NAryExpr node)
{
return(base.VisitNAryExpr((NAryExpr)node.Clone()));
}
public override Expr VisitNAryExpr(NAryExpr node)
{
//Contract.Requires(node != null);
Contract.Ensures(Contract.Result <Expr>() != null);
return(base.VisitNAryExpr((NAryExpr)node.Clone()));
}