Member predicate BasicBlock :: contains
Holds if this basic block contains node
.
predicate
contains
(
ControlFlowNode
node
)