let is_fd_element (term: term) : bool = try Symbol.is_fd_element (top_symbol_term term) with | Not_found -> false