Added rewriting of pattern to fresh annotation.