Test implementation of rewriting