77     : ExprEng(exprengine), WList(generateWorkList(Opts)),  in CoreEngine()
115       InitState = ExprEng.getInitialState(L);  in ExecuteWorkList()
124     ExprEng.processBeginOfFunction(BuilderCtx, Node, DstBegin, StartLoc);  in ExecuteWorkList()
168         this->ExprEng.getAnalysisManager().options.CTUMaxNodesMin;  in ExecuteWorkList()
170         this->ExprEng.getAnalysisManager().options.CTUMaxNodesPercentage;  in ExecuteWorkList()
178   ExprEng.processEndWorklist();  in ExecuteWorkList()
203       ExprEng.processCallExit(Pred);  in dispatchWorkItem()
285     ExprEng.processEndOfFunction(BuilderCtx, Pred, RS);  in HandleBlockEdge()
295   ExprEng.processCFGBlockEntrance(L, nodeBuilder, Pred);  in HandleBlockEdge()
319     ExprEng.processCFGElement(*E, Pred, 0, &Ctx);  in HandleBlockEntrance()
400         ExprEng.processIndirectGoto(builder);  in HandleBlockExit()
422         ExprEng.processSwitch(builder);  in HandleBlockExit()
451   ExprEng.processCallEnter(BuilderCtx, CE, Pred);  in HandleCallEnter()
459   ExprEng.processBranch(Cond, Ctx, Pred, Dst, *(B->succ_begin()),  in HandleBranch()
471   ExprEng.processCleanupTemporaryBranch(BTE, Ctx, Pred, Dst, *(B->succ_begin()),  in HandleCleanupTemporaryBranch()
482   ExprEng.processStaticInitializer(DS, Ctx, Pred, Dst,  in HandleStaticInit()
497     ExprEng.processCFGElement((*B)[StmtIdx], Pred, StmtIdx, &Ctx);  in HandlePostStmt()