emptyMultiSet

fun emptyMultiSet(): ClauseMultiSet

Creates an empty ClauseMultiSet