testStaticSolverFactoryForStreams

Same as testStaticSolverFactoryForClassic, but for Solver.streams / Expectations.streamsShouldWork, expecting it.unibo.tuprolog.solve.streams.StreamsSolver.