206   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()  argument
207     FactID F = FM.newFact(std::move(Entry));  in addLock()
212   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {  in removeLock()  argument
218       if (FM[FactIDs[i]].matches(CapE)) {  in removeLock()
224     if (FM[FactIDs[n-1]].matches(CapE)) {  in removeLock()
231   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {  in findLockIter()  argument
233       return FM[ID].matches(CapE);  in findLockIter()
237   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()  argument
239       return FM[ID].matches(CapE);  in findLock()
241     return I != end() ? &FM[*I] : nullptr;  in findLock()
244   const FactEntry *findLockUniv(FactManager &FM,  in findLockUniv()  argument
247       return FM[ID].matchesUniv(CapE);  in findLockUniv()
249     return I != end() ? &FM[*I] : nullptr;  in findLockUniv()
252   const FactEntry *findPartialMatch(FactManager &FM,  in findPartialMatch()  argument
255       return FM[ID].partiallyMatches(CapE);  in findPartialMatch()
257     return I != end() ? &FM[*I] : nullptr;  in findPartialMatch()
260   bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {  in containsMutexDecl()  argument
262       return FM[ID].valueDecl() == Vd;  in containsMutexDecl()