When a `setUp` is failing, a single error is thrown with the name of the failing setup function. ```py raise ValueError(f"Running setUp method failed for {len(failed)} contracts: {', '.join(failed_contract_names)}") ``` The logic from https://github.com/runtimeverification/kontrol/pull/1051 should also be used to process failing nodes of setUp methods.