Member predicate SubBasicBlock :: contains
Holds if this
contains node
.
predicate
contains
(
ControlFlowNode
node
)