let smap_add_set src dst acc =
      SMap.add src (Resources.add dst (find_all_set src acc)) acc