Predicate Cached::basic_block_member
Holds if node is the posth control-flow node in basic block bb.
Import path
import cpppredicate basic_block_member(ControlFlowNode node, BasicBlock bb, int pos)Holds if node is the posth control-flow node in basic block bb.
import cpppredicate basic_block_member(ControlFlowNode node, BasicBlock bb, int pos)