let hash_of_term (term: term) : int =
  match term with
    | Var var ->
        Var.hash_of_var var
          
    | Const symbol ->
        Symbol.id symbol
          
    | Func func ->
        func.hash