loopbounds: fixed insertion for for-loops