finishTerm

open fun finishTerm()

Called after a term and all its positions have been added.