add

abstract override fun add(clause: Clause): MutableClauseMultiSet

Adds the given Clause to this MutableClauseMultiSet, mutating it in place, and returns this