Fixing bug with redundant clause dumpint

Relates to issue #121