Added test, consider the case of AND to eliminate equiality in DatalogNormalizer