testExceptionalSolve1
Same as testExceptionalInitialization1, but for the solve/1 directive instead of initialization/1.
Same as testExceptionalInitialization1, but for the solve/1 directive instead of initialization/1.