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