ValueFlow: improved abstract interpretation of for loops