13.18/13.21	MAYBE
13.18/13.21	
13.18/13.21	
13.18/13.21	Connected Subgraphs where we couldn't prove Termination:
13.18/13.21	--------------------------------------------------------
13.18/13.21	SCC:
13.18/13.21	+--transitions: t1,t2,t3,t4
13.18/13.21	+--nodes: n_n_n_l1___2___1___1,n_n_n_l1___5___2___2
13.18/13.21	
13.18/13.21	
13.18/13.28	EOF