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