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