929     for (const auto &UnderlyingMutex : UnderlyingMutexes) {  in handleRemovalFromIntersection()  local
931           FactMan, CapabilityExpr(UnderlyingMutex.getPointer(), false));  in handleRemovalFromIntersection()
932       if ((UnderlyingMutex.getInt() == UCK_Acquired && Entry) ||  in handleRemovalFromIntersection()
933           (UnderlyingMutex.getInt() != UCK_Acquired && !Entry)) {  in handleRemovalFromIntersection()
937             "mutex", sx::toString(UnderlyingMutex.getPointer()), loc(), JoinLoc,  in handleRemovalFromIntersection()
946     for (const auto &UnderlyingMutex : UnderlyingMutexes) {  in handleLock()  local
947       CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false);  in handleLock()
949       if (UnderlyingMutex.getInt() == UCK_Acquired)  in handleLock()
962     for (const auto &UnderlyingMutex : UnderlyingMutexes) {  in handleUnlock()  local
963       CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false);  in handleUnlock()
968       if (UnderlyingMutex.getInt() == UCK_Acquired) {  in handleUnlock()
971         LockKind kind = UnderlyingMutex.getInt() == UCK_ReleasedShared  in handleUnlock()