13.76/13.80	MAYBE
13.76/13.80	
13.76/13.80	
13.76/13.80	Connected Subgraphs where we couldn't prove Termination:
13.76/13.80	--------------------------------------------------------
13.76/13.80	SCC:
13.76/13.80	+--transitions: t3,t4,t5,t6
13.76/13.80	+--nodes: n_n_n_l1___1___2___2,n_n_n_l1___2___1___1
13.76/13.80	
13.76/13.80	
13.83/13.86	EOF