value flow: simple handling of for loops