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