fixed a bug affecting some conjunctions in minDisj