Fix rewrite.ml merging
Fix level of debug message