let rec is_term_ground (term: term) : bool =
  match term with
    | Var _ ->
        false

    | Const _ ->
        true

    | Func func ->
        func.ground