Lines Matching refs:getOriginalNode
180 const ExplodedNode *getOriginalNode(const ExplodedNode *N) {