toMutableTheory

abstract override fun toMutableTheory(): MutableProblogTheory