value flow: improved checking of do-while loops for non-local variables