public void AddRootCondition() { Disjunction dis = new Disjunction(); dis.AddRootCondition(); and.Add(dis); }