Fixing DIMACS parser for new addXorClause() function
Don't always add assumptions