semantic: Uncomment super rewriting.