the compiler complains about solver tests using pointers as bool