!7

set flag reifyRewrites.

rewrite Bla to Blubb.

p {
  assertEqualsVerbose("Blubb", definedRewrites().get("Bla"));
}