public List<Clause> getConjunctionOfClauses() { return new ReadOnlyCollection<Clause>(conjunctionOfClauses).ToList<Clause>(); }