SliceGuarantor: Expand blocks correctly