925     for (const auto &UnderlyingMutex : UnderlyingMutexes) {  in handleRemovalFromIntersection()  local
927           FactMan, CapabilityExpr(UnderlyingMutex.getPointer(), false));  in handleRemovalFromIntersection()
928       if ((UnderlyingMutex.getInt() == UCK_Acquired && Entry) ||  in handleRemovalFromIntersection()
929           (UnderlyingMutex.getInt() != UCK_Acquired && !Entry)) {  in handleRemovalFromIntersection()
933             "mutex", sx::toString(UnderlyingMutex.getPointer()), loc(), JoinLoc,  in handleRemovalFromIntersection()
942     for (const auto &UnderlyingMutex : UnderlyingMutexes) {  in handleLock()  local
943       CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false);  in handleLock()
945       if (UnderlyingMutex.getInt() == UCK_Acquired)  in handleLock()
958     for (const auto &UnderlyingMutex : UnderlyingMutexes) {  in handleUnlock()  local
959       CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false);  in handleUnlock()
964       if (UnderlyingMutex.getInt() == UCK_Acquired) {  in handleUnlock()
967         LockKind kind = UnderlyingMutex.getInt() == UCK_ReleasedShared  in handleUnlock()