Function pretty_string 

pub fn pretty_string(
    ctx: &mut MessageContext<'_>,
    problems: &[SolvedProblem],
    is_dev_extraction: bool,
) -> String

SolverProblemsException::getPrettyString(..., $isDevExtraction): the numbered problems, deduplicated, then the hints.