let rec brackets_toff = function 
  | TIndex(_,toff) -> 
      (match brackets_toff toff with 
          | Some n ->Some (1+n)
          | None -> None )
  | TNoOffset -> Some 0
  | _ -> None