Statement (StatEdge edge) { Statement dest = edge.getDestination(); if (edge.getType() == EdgeType.BREAK && dest.type == StatementType.BASIC_BLOCK && edge.explicit && (edge.labeled || isOnlyEdge(edge))) { List<Exprent> data = dest.getExprents(); if (data != null && data.size() == 1) { if (data.get(0).type == Exprent.EXPRENT_EXIT) { return dest; } } } return null; }