mutableTheoryOf
open fun mutableTheoryOf(clauses: Sequence<Clause>, vararg otherClauses: Sequence<Clause>): MutableTheory
open fun mutableTheoryOf(clauses: Iterable<Clause>, vararg otherClauses: Iterable<Clause>): MutableTheory
Overload of TheoryFactory.mutableTheoryOf concatenating clauses and otherClauses into one MutableTheory.