// not until now because of comparison between synchronized statements in the finally cycle DomHelper.removeSynchronizedHandler(root); cancellationManager.checkCanceled(); // LabelHelper.lowContinueLabels(root, new HashSet<StatEdge>()); SequenceHelper.condenseSequences(root); ClearStructHelper.clearState...