coresolvertest: first draft SolutionGuarantor test is done...but will it work?