added logic to handle translation from allFalse to negated atLeastOneTru...

...e and atLeastOneFalse to negated allTrue