Fix bug in DNNFOperations, seems to work now when using it as solver