toImmutableTheory

Returns an immutable Theory with the same clauses (and Unificator) as this one; this, if it already is one.