public override Cmd VisitCallCmd(CallCmd node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result<Cmd>() != null); CallCmd clone = (CallCmd)node.Clone(); Contract.Assert(clone != null); clone.Ins = new List<Expr>(clone.Ins); clone.Outs = new List<IdentifierExpr>(clone.Outs); return base.VisitCallCmd(clone); }