makeCollCovProblem returns a higher-level struct