bb_reachable
if (!bb_reachable(bb))
if (!expr || !bb_reachable(ep->active))
if (!bb_reachable(active))
if (bb_reachable(src))
if (bb_reachable(src)) {
if (bb_reachable(bb)) {
if (bb_reachable(bb))
if (!bb_reachable(bb) || !bb_empty(bb)) {
if (bb_reachable(bb)) {