tester for cone rewriting.