SolutionSummaryRewriter