let rec is_term_parametric (term: term) : bool =
  match term with
    | Term.Var var ->
        Var.is_parametric var

    | Term.Const _ ->
        false

    | Term.Func func (*(_, terms, _)*) ->
        Tools.array_exists is_term_parametric func.Term.subterms