value flow: condition in loop, bailout valueflow analysis before loop if there is assignment inside the loop