SliceGuarantor: output Blocks that should be submitted to guarantee the current one.