fixed stackoverflow bug in DNF reduction. a test is still broken: Visit_aNegatedDowncastedSpecification_returnsThatSpecificationNegatedAndUpcastedToTopDisjunctedToANegatedSpecificationSatisfiedFromTheDowncastingType
fixed that test too... it was a typo