let bracket_term = function | TLval (TVar x,off) | Tat ({term_node = TLval (TVar x,off)}, _ ) -> (match brackets_toff off with | Some n -> Some(x,n) | None -> None) | _ -> None