hashCode

fun hashCode(multiSet: ClauseMultiSet): Int