testDynamic1

Tests that a theory containing

f(1). f(2). f(3).
:- static(g/1).
g(4). g(5). g(6).
:- dynamic(h/1).
h(7). h(8). h(9).

loaded as a solver's static knowledge base ends up with f/1 and g/1's facts (the ones before the first dynamic/1 directive) in the static theory, and h/1's facts in the dynamic theory; and that loading the same theory into a fresh MutableSolver via loadStaticKb produces the same split.