agenda.addAll(conditionNode.getIncoming());
visited.addAll(conditionNode.getIncoming());
while (!agenda.isEmpty()) {
final ControlFlowEdge edge = agenda.removeFirst();
final ControlFlowNode from = edge.getFrom();
if (from == null) {
continue;
}
if (edge.getType() == ControlFlowEdgeType.Jump) {
final Statement jump = from.getNextStatement();
if (jump.getPreviousStatement() != null) {
incoming.add(jump.getPreviousStatement());
}
else {