1267                                   const ConsumedStmtVisitor &Visitor) {  in splitState()  argument
1278     PInfo = Visitor.getInfo(Cond);  in splitState()
1280       PInfo = Visitor.getInfo(cast<BinaryOperator>(Cond)->getRHS());  in splitState()
1300     PInfo = Visitor.getInfo(BinOp->getLHS());  in splitState()
1303         PInfo = Visitor.getInfo(BinOp->getRHS());  in splitState()
1368   ConsumedStmtVisitor Visitor(AC, *this, CurrStates);  in run()  local
1372     Visitor.VisitParmVarDecl(PI);  in run()
1388     Visitor.reset(CurrStates);  in run()
1394         Visitor.Visit(B.castAs<CFGStmt>().getStmt());  in run()
1401         Visitor.checkCallability(PropagationInfo(BTE),  in run()
1413         Visitor.checkCallability(PropagationInfo(Var),  in run()
1426     if (!splitState(CurrBlock, Visitor)) {  in run()