 - `M6-5-5`:
   - Reduce false positives by no longer considering the taking of a const reference as a modification.
   - Improve detection of non-local modification of loop iteration variables to reduce false positives.