addTerm

fun addTerm(term: Term, docIDUpto: Int)