Revert "Fix bug in IntegerMultisetTest"
It's performed in order to simplify merging with bugfix branch

This reverts commit b16b51ca6aa345960f93aa4e7f3635e37ee6ad40.