Bugfix: properly take care of big conjunctions.
Bugfix: properly take care of big conjunctions.

I forgot to keep track of signs of variables when caching the DFS search
for components in a big conjunctions. Thus when a node occurred both
positively and negatively only the first would be kept.
niklasso/mcl,niklasso/mcl