rewrote SolutionGuarantor
added types SliceHash and SegmentHash