let rec brackets_off = function 
   | Index (_,off) -> 
       (match brackets_off off with 
          | Some n ->Some (1+n)
          | None -> None )
   | NoOffset -> Some 0
   | _ -> None