SliceStore: store conflict info from Slices, LinearConstraint store/retrieval stubs