let fresh_term_id () =
  incr __term_count; !__term_count