minor fix to test case houdini\testUnsatCore.bpl
more minor fix to test case houdini\testUnsatCore.bpl