swap_noninterfering_assignments.