!7

set flag reifyRewrites.

rewrite Bla to Blubb.