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