SegmentGuarantor: Handle stack upper bound correctly