379       tl_assert(HG_(elemWS)( univ_lsets,  in remove_Lock_from_locksets_of_all_owning_Threads()
385          tl_assert(HG_(elemWS)( univ_lsets,  in remove_Lock_from_locksets_of_all_owning_Threads()
959             if (!HG_(elemWS)(univ_lsets, thr->locksetA, (UWord)lk))   in locks__sanity_check()
963                 && !HG_(elemWS)(univ_lsets, thr->locksetW, (UWord)lk))   in locks__sanity_check()
966                 && HG_(elemWS)(univ_lsets, thr->locksetW, (UWord)lk))   in locks__sanity_check()
1313       tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1314       tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1334       tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1335       tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1355       tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1357          tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1359          tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));  in evhH__pre_thread_releases_lock()
3805          if ( ! HG_(elemWS)( univ_laog,   in laog__sanity_check()
3812          if ( ! HG_(elemWS)( univ_laog,   in laog__sanity_check()
3867       if (HG_(elemWS)( univ_lsets, dsts, (UWord)here )) { ret = here; break; }  in laog__do_dfs_from_to()
3903    if (HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lk ))  in laog__pre_thread_acquires_lock()