Added experimental loop bound estimation code