SliceGuarantor: line breaks before column 100
SegmentGuarantor: Nevermind about EndExtraction
coresolvertest: When testing solutions, ignore missing EndSegments at the stack upper bound