`infer-with-first-use` doesn't work if variable is read before its first use

[DetachHead]

Describe the Bug

values = [] # error: implicit-any-empty-container

for item in [1, 1, 2, 2, 3]:
    if item not in values:
        values.append(item)

Python: 3.14

i don't think reading the value should count as a "use", it should be able to infer the type based on the first time a value is added to it.

for comparison, ty is able to infer the type correctly

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIAbqlAK7wAEAvAwNoC6DAxAzAE59cfRAwgBbYlAgBjCABcAtBlIKYEuSum50c1BHT8AOumNghouWtHo2ARgA0DBwwBMjtwwDM7RMYb-RMAsrdFw5awZqOnhfGwD4qPo4QlRiYhgsAAp5NQBKYxB7EDI%2BGDAoUkI5XDEoCjI5AAttBUp%2BOAhtZgZDEE9CWwAWXuNiUrgYcJZeuDk%2BGTkR9FZ%2BQT44dmNMGDGYaVRLTG7e1aFenvRxSRl5JWxZvlRpRWkoVDg4Y5BTviWrqVkiiuQimPW%2BAjOIAu-xucgqCm2kAMmCUcjmEGwtEsXx%2BSzEEA%2B%2BgA5go4LhaHxpDAcRDfiBjKF0Kp8I1ULRZhA2goxAdpI0aWslqFFKUAI60CClFEAaxgKieVI%2BAshxlw6SZtHQxCe0uJyrpFylmswGBe71BJ1p52MRqwpoUWiw8k6Nmm4MFUOMmoMirQfE0NW18zJrrBuM96G9e3gfpUGnSDu0bXWLv11sj6FKT1Z2FgaYjmqzfNQuZg3N5jQd72pbvDF0L8FwUGopYRxv4SigUHz9Z0pHSKOBfAt7shvfZMEHRNCpR7xmo8wwVO5BJ5cj5c8u6CiEBR2y0j2qfHzIAAvkUnnJOTAAGLQGAUNBYPBEMhnoA

(Only applicable for extension issues) IDE Information

No response