testStaticSolverFactoryForClassic

If Expectations.classicShouldWork, tests that Solver.classic (and a solver/builder obtained from it) resolve to it.unibo.tuprolog.solve.classic.ClassicSolver; otherwise, tests that looking it up throws IllegalStateException (or is otherwise unavailable, platform permitting — see the JS caveat in the implementation).