public override InvariantList VisitInvariantList(InvariantList Invariants){ if (Invariants == null) return null; return base.VisitInvariantList(Invariants.Clone()); }