Test reifyRewrites