void (Statement stat, boolean self) { for (Statement st : stat.getStats()) { destroyStatementContent(st, true); } stat.getStats().clear(); if (self) { for (StatEdge edge : stat.getAllSuccessorEdges()) { stat.removeSuccessor(edge); } } }