solverInitializers

The four equivalent ways a given can end up as a solver's knowledge base: as the static or dynamic theory passed to SolverFactory.solverOf, or loaded after the fact into a fresh MutableSolver via MutableSolver.loadStaticKb/MutableSolver.loadDynamicKb. TestDirectives runs its directive-loading assertions against every one of these, since a directive (e.g. dynamic/1) must behave the same way regardless of how its enclosing theory was loaded.