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