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