debugging
TestImplicationGraph passes!
but nqueens still fails