added debugging output to SegmentGuarantor