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