wip
8289: fix Complex.refine_disjoint