Characteristic predicate ExitBasicBlock :: ExitBasicBlock
ExitBasicBlock
(
)