added debug output to SolutionGuarantor