Fixed #5173 (false positive Variable XX is reassigned a value before the old one has been used)