It’s more that we know our crude warnings can produce false positives. Here it’s confused that betaN shows up on both sides of a sampling statement. But we don’t have enough power statically to tell that the loop is over different variables because that’s a technically undecidable problem because the range for i here can be anything.