bugfix: inter-section interval is not the section infimum of segments
implemented special handling of first and last sections in SolutionGuarantor
added comments to SegmentDescription
adjusted SegmentExtractor to extract all ends between the given sections (and only those)