SliceGuarantor: Rewritten for clarity, to use ConflictSets, and to move the z-iteration to be the outter loop