Update cpp/common/src/codingstandards/cpp/Concurrency.qll

Co-authored-by: Mauro Baluda <mbaluda@github.com>

Author: jsinglet

cpp/common/src/codingstandards/cpp/Concurrency.qll

@@ -404,9 +404,8 @@ class LockProtectedControlFlowNode extends ThreadedCFN {
         // to the caller to enforce this condition.
         // Because of the way that `getAThreadContextAwarePredecessor` works, it is possible
         // for operations PAST it to be technically part of the predecessors.
-        // Thus, we need to make sure that this lock (to be actually)
-        // an unlock along the same path it must be the case that when we
-        // supply it as the starting point of the search it hits the try lock
+        // Thus, we need to make sure that this node is a 
+        // successor of the unlock in the CFG
         getAThreadContextAwareSuccessor(unlock) = this
       ) and
       (lock instanceof MutexFunctionCall implies not this.(MutexFunctionCall).isUnlock())