let is_term_var (term: term) : bool =
  match term with
    | Var _ -> true
    | _ -> false