bugfix: python::SolutionGuarantor sent a null-pointer core