CNFIO/Writer.hs (toCNFString) : fix the bug on number of literals
SAT/BoolExp.hs (-|-): add a test case for an unsolved bug on (-|-)