let rec is_term_ground (term: term) : bool = match term with | Var _ -> false | Const _ -> true | Func func -> func.ground