Value Flow: Another try with the abstract interpretation of for loops