added debug output to SolutionGuarantor
refactored (and rewrote parts of) SliceGuarantor
bugfix: query to insert slice conflicts was not compatible with ignore-duplicate rule