update Domain.refine(), refine_2_3(), refine_2_4(), refine_3_4(), refine_3_8()