Returns a MutableTheory with the same clauses (and Unificator) as this one; this, if it already is one.
this