SliceGuarantor, SliceWriter: comments to indicate name and type of Inputs/Outputs
SliceStoreTest: compiles