ValueFlow: Improved value flow after for loop