boolean (Statement block, Statement sequence) { for (StatEdge edge : block.getAllSuccessorEdges()) { if (edge.getType() != EdgeType.REGULAR && edge.getDestination().type != StatementType.DUMMY_EXIT) { if (!sequence.containsStatementStrict(edge.getDestination())) { return false; } } } for (Statement st : block.getStats()) { if (!noExitLabels(st, sequence)) { return false; } } return true; }