import default

from BasicBlock b, BasicBlock b2
where b.getABBSuccessor() = b2
select b, b2