public override Cmd VisitParCallCmd(ParCallCmd node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result<Cmd>() != null); ParCallCmd clone = (ParCallCmd)node.Clone(); Contract.Assert(clone != null); clone.CallCmds = new List<CallCmd>(node.CallCmds); return base.VisitParCallCmd(clone); }