added fake weights to python::SolutionGuarantor
bugfix: variable counter in SolutionGuarantor was not increased