let rec is_skolem_free_term (term: term) : bool =
  match term with
    | Var _ ->
        true

    | Const const ->
        not (Symbol.is_skolem const)

    | Func func ->
        not (Symbol.is_skolem func.symbol)
        &&
        Tools.array_for_all is_skolem_free_term func.subterms