fixed typo in SliceStore method
fixed compilation error in python::SolutionGuarantor