colocated with uu and the same ring. This breaks one case (# case_recursive_boxes_23) but repairs many (about 50% of the wrong cases in robustness test)