testStaticSolverFactoryForProblog

Same as testStaticSolverFactoryForClassic, but for Solver.problog / Expectations.problogShouldWork, expecting it.unibo.tuprolog.solve.problog.ProblogSolver.