a new version of autosetoidrewrite