Member predicate SubBasicBlock :: firstInBB
Holds if this SubBasicBlock
comes first in its basic block. This is the
only condition under which a SubBasicBlock
may have multiple
predecessors.
predicate
firstInBB
(
)