void () { post = null; continueSet = null; copied = false; // FIXME: used in FlattenStatementsHelper.flattenStatement()! check and remove //lastBasicType = LASTBASICTYPE_GENERAL; isMonitorEnter = false; containsMonitorExit = false; processMap(mapSuccEdges); processMap(mapPredEdges); processMap(mapSuccStates); processMap(mapPredStates); }