Member predicate AnnotatedExitBasicBlock :: isNormal
Holds if this block represents a normal exit.
predicate
isNormal
(
)