improved loop bound analyzer