ValueFlow: improved valueflow for loops that assign variable and then break