import cpp

from BasicBlock b
where not b.isReachable()
select b