Fixed bugs in DatalogNormalizer removing nested equalities