deleted NegationOfVariantsNormalizer. fixed tests