public override Cmd VisitHavocCmd(HavocCmd node) { return(base.VisitHavocCmd((HavocCmd)node.Clone())); }
public override Cmd VisitHavocCmd(HavocCmd node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result <Cmd>() != null); return(base.VisitHavocCmd((HavocCmd)node.Clone())); }