import cpp

from IfStmt s
select s, s.getCondition().getASuccessor()