rerun of normalizer on revised datalogplus example