ValueFlow: restricted bailouts in for loops