let new_identified_term t =
  incr __term_count; { it_id = !__term_count; it_content = t }