proved x'_Domain: "Domain x' ∈ all_partitions G" inside wd_outcome