SliceGuarantor and SliceStore: Code not implemented, minor changes to allow compilation