Example #1
0
 public override Statement VisitAssumption(Assumption Assumption)
 {
     if (Assumption == null) return null;
     return base.VisitAssumption((Assumption)Assumption.Clone());
 }