190   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()  argument
191     FactID F = FM.newFact(std::move(Entry));  in addLock()
196   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {  in removeLock()  argument
202       if (FM[FactIDs[i]].matches(CapE)) {  in removeLock()
208     if (FM[FactIDs[n-1]].matches(CapE)) {  in removeLock()
215   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {  in findLockIter()  argument
217       return FM[ID].matches(CapE);  in findLockIter()
221   FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()  argument
223       return FM[ID].matches(CapE);  in findLock()
225     return I != end() ? &FM[*I] : nullptr;  in findLock()
228   FactEntry *findLockUniv(FactManager &FM, const CapabilityExpr &CapE) const {  in findLockUniv()  argument
230       return FM[ID].matchesUniv(CapE);  in findLockUniv()
232     return I != end() ? &FM[*I] : nullptr;  in findLockUniv()
235   FactEntry *findPartialMatch(FactManager &FM,  in findPartialMatch()  argument
238       return FM[ID].partiallyMatches(CapE);  in findPartialMatch()
240     return I != end() ? &FM[*I] : nullptr;  in findPartialMatch()
243   bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {  in containsMutexDecl()  argument
245       return FM[ID].valueDecl() == Vd;  in containsMutexDecl()