rewriting engine with isometric support