minor changes to DatalogNormalizer