1229                                   const ConsumedStmtVisitor &Visitor) {  in splitState()  argument
1238     PInfo = Visitor.getInfo(Cond);  in splitState()
1240       PInfo = Visitor.getInfo(cast<BinaryOperator>(Cond)->getRHS());  in splitState()
1256     PInfo = Visitor.getInfo(BinOp->getLHS());  in splitState()
1259         PInfo = Visitor.getInfo(BinOp->getRHS());  in splitState()
1321   ConsumedStmtVisitor Visitor(*this, CurrStates.get());  in run()  local
1325     Visitor.VisitParmVarDecl(PI);  in run()
1339     Visitor.reset(CurrStates.get());  in run()
1345         Visitor.Visit(B.castAs<CFGStmt>().getStmt());  in run()
1352         Visitor.checkCallability(PropagationInfo(BTE),  in run()
1364         Visitor.checkCallability(PropagationInfo(Var),  in run()
1377     if (!splitState(CurrBlock, Visitor)) {  in run()