Prettier rewriting.mli
Verbose output