toImmutableTheory

abstract fun toImmutableTheory(): Theory