Typical symptom: A single variable has different meanings in different parts of a method.
Conclusion:
See: the "paint_required" example at the bottom of ConstCorrectness.