petite optimisation sur BasicClauseWatched