let rec term_contains_var (term: term) (var: var) : bool =
  match term with
    | Var var' ->
        Var.equal var var'
          
    | Const _ ->
        false
          
    | Func func ->
        Tools.array_exists
          (fun term' -> term_contains_var term' var)
          func.subterms