Factoring joint abduction part 2: numerical sort. Joint abduction: reorder branches when restarting.