SliceGuarantor: Changes in progress: use conflictSets instead of trees, use block output instead of count