Testing SliceGuarantor