Execute enforce equialities of DatalogNormalizer in Quest