add

abstract override fun add(clause: Clause): ClauseMultiSet

Gives a freshly produced ClauseMultiSet including the given Clause and the content of this one