let find_loc_status_with_deps ?(with_deps=true) state l =
      let s = find_loc_status state l in
      let exact = L.fst s in
      if with_deps then S.join exact (L.snd s) else exact