117     bool IsNew;  in ExecuteWorkList()  local
118     ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew);  in ExecuteWorkList()
119     assert(IsNew);  in ExecuteWorkList()
529   bool IsNew;  in generateNode()  local
530   ExplodedNode *Node = G.getNode(Loc, State, false, &IsNew);  in generateNode()
535     assert(IsNew);  in generateNode()
540   if (IsNew) WList->enqueue(Node);  in generateNode()
585   bool IsNew;  in enqueueStmtNode()  local
586   ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);  in enqueueStmtNode()
589   if (IsNew)  in enqueueStmtNode()
640   bool IsNew;  in generateNodeImpl()  local
641   ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew);  in generateNodeImpl()
645   if (!IsNew)  in generateNodeImpl()
681   bool IsNew;  in generateNode()  local
684                     St, IsSink, &IsNew);  in generateNode()
687   if (!IsNew)  in generateNode()
699   bool IsNew;  in generateCaseStmtNode()  local
702                     St, false, &IsNew);  in generateCaseStmtNode()
704   if (!IsNew)  in generateCaseStmtNode()
723   bool IsNew;  in generateDefaultCaseNode()  local
726                     St, IsSink, &IsNew);  in generateDefaultCaseNode()
729   if (!IsNew)  in generateDefaultCaseNode()