dirty propagation works correctly for labeling