Mega optimisation de la mort qui tue des BasicWatchedClauses