Missing negated literals in dedicated watch structure for computing prime implicants
In the enclosed CNF file, the default prime implicant computation strategy displays as prime implicant
v 2 3 4 5 6 0
while the two others display
v 2 3 4 5 6 -21 -22 -24 -25 -26 -27 0
All output should always be the same.