coresolvertest: initial code to test SolutionGuarantor. Untested.