toImmutableTheory

open override fun toImmutableTheory(): ProblogTheory