branch on index low or equal{=BXLE}