iticalPairElement</code> equipped with a call stack. The intuition is that if we have a critical pair `(locks, event)` in the summary of a method then there is a trace of that method where `event` occurs, and right before it occurs the locks held are exactly `locks` (no over/under approximation). We call it &quot;critical&quot; because the information here alone determines deadlock conditions.</p></div></div><div class="odoc-spec"><div class="spec module" id="module-CriticalPairs" class="anchored"><a href="