40   ProgramStateRef State = Ctx.getState();  in checkDoubleNonblocking()  local
41   const Request *const Req = State->get<RequestMap>(MR);  in checkDoubleNonblocking()
44   if (Req && Req->CurrentState == Request::State::Nonblocking) {  in checkDoubleNonblocking()
52     State = State->set<RequestMap>(MR, Request::State::Nonblocking);  in checkDoubleNonblocking()
53     Ctx.addTransition(State);  in checkDoubleNonblocking()
75   ProgramStateRef State = Ctx.getState();  in checkUnmatchedWaits()  local
81     const Request *const Req = State->get<RequestMap>(ReqRegion);  in checkUnmatchedWaits()
82     State = State->set<RequestMap>(ReqRegion, Request::State::Wait);  in checkUnmatchedWaits()
85         ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);  in checkUnmatchedWaits()
86         State = ErrorNode->getState();  in checkUnmatchedWaits()
95     Ctx.addTransition(State);  in checkUnmatchedWaits()
97     Ctx.addTransition(State, ErrorNode);  in checkUnmatchedWaits()
103   ProgramStateRef State = Ctx.getState();  in checkMissingWaits()  local
104   const auto &Requests = State->get<RequestMap>();  in checkMissingWaits()
111   auto ReqMap = State->get<RequestMap>();  in checkMissingWaits()
114       if (Req.second.CurrentState == Request::State::Nonblocking) {  in checkMissingWaits()
117           ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);  in checkMissingWaits()
118           State = ErrorNode->getState();  in checkMissingWaits()
123       State = State->remove<RequestMap>(Req.first);  in checkMissingWaits()
129     Ctx.addTransition(State);  in checkMissingWaits()
131     Ctx.addTransition(State, ErrorNode);  in checkMissingWaits()