Member predicate Instruction :: canFlowNext
Holds if this instruction passes control flow into the next instruction.
predicate
canFlowNext
(
)