assertZ

abstract fun assertZ(clause: Clause)

Inserts the given clause after all other clauses of its own family currently stored in this tree, mutating it in place.