more debugging output in SolutionGuarantor