Characteristic predicate SubBasicBlock :: SubBasicBlock
SubBasicBlock
(
)