createMutableSolver
open override fun createMutableSolver(unificator: Unificator, libraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore): MutableSolver
Creates a new MutableSolver backed by this same resolution strategy, sharing this context's state unless overridden.