(*itb).second->elementsNotInThisSet);
/* sets containing this element */
- pushToSettermPropagationQueue( b, (*ita).second->setsContainingThisElement, true);
- pushToSettermPropagationQueue( b, (*ita).second->setsNotContainingThisElement, false);
+ // pushToSettermPropagationQueue( b, (*ita).second->setsContainingThisElement, true);
+ // pushToSettermPropagationQueue( b, (*ita).second->setsNotContainingThisElement, false);
pushToSettermPropagationQueue( a, (*itb).second->setsNotContainingThisElement, false);
pushToSettermPropagationQueue( a, (*itb).second->setsContainingThisElement, true);
mergeLists( (*ita).second->setsContainingThisElement,