18.83/18.88	MAYBE
18.83/18.88	
18.83/18.88	
18.83/18.88	Connected Subgraphs where we couldn't prove Termination:
18.83/18.88	--------------------------------------------------------
18.83/18.88	SCC:
18.83/18.88	+--transitions: t3,t4
18.83/18.88	+--nodes: n_n_n_l1___3___1___1
18.83/18.88	
18.83/18.88	
18.88/18.94	EOF