SegmentGuarantor: Remove optional Box input, remove check for upper bound (this will be relegated to the CoreSolver)