* Diese Struktur erspart das aufw�ndige Vergleichen der Event-ketten.
* Zu jedem Blatt muss nur der entsprechende Teilbaum untersucht werden
*
* Nein! -> Problem: neue Pfade f�r den nichtdeterministischen Fall m�glich!?!
*/
EventTree oEventTree = new EventTree(m_oTestCaseGraphHelper);
// Knoten, die durch gleiche Sequenzen von Ereignissen erreicht werden
ArrayList<TCGNode> colDeleteNodes = new ArrayList<TCGNode>();
for(EventNode oEventNode : oEventTree.getEventNodes())
{
ArrayList<TCGNode> colSubNodes = oEventTree.getSubTCGNodesFrom(oEventNode);
for(TCGNode oSuperNode : oEventNode.getLeafNodes())
{
for(TCGNode oSubNode : colSubNodes)
{
// all boundaries of super node are equal or enforced in sub node (depends on coverage criteria)