testStaticSolverFactoryForProlog

Same as testStaticSolverFactoryForClassic, but for Solver.prolog / Expectations.prologShouldWork; Solver.prolog is currently an alias resolving to the same classic implementation.