let top_symbol_term (term: term) : symbol = match term with | Var _ -> raise Not_found | Const symbol -> symbol | Func func -> func.symbol