loopbounds: fixed insertion for while-loops