18.54/18.57	MAYBE
18.54/18.57	
18.54/18.57	
18.54/18.57	Connected Subgraphs where we couldn't prove Termination:
18.54/18.57	--------------------------------------------------------
18.54/18.57	SCC:
18.54/18.57	+--transitions: t4,t5,t6
18.54/18.57	+--nodes: n_n_n_l1___1___1___1
18.54/18.57	
18.54/18.57	
18.61/18.64	EOF