of
fun of(report: PropositionReembedReport, failures: Map<String, Throwable>, notAttempted: List<String> = emptyList()): PropositionReembedIncompleteException
Build the exception from per-proposition failures (id to what went wrong), taking the first as the cause and suppressing a bounded number of the rest.