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