improved loop bound estimator