Make is_empty() and propagate_subset() not unnecessarily rely on the src and dst

Make is_empty() and propagate_subset() not unnecessarily rely on the src and dst #4373