Add auto-correction to NegatedWhile cop