updated module cmake
partial fix: no conflict sets were stored from SliceGuarantor

This commit fixes only a part of the problem. We still try to write
conflict sets for slices that are not in the store -- which should not
happen.
added debug output to SolutionGuarantor
refactored (and rewrote parts of) SliceGuarantor