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