18.67/18.73	MAYBE
18.67/18.73	
18.67/18.73	
18.67/18.73	Connected Subgraphs where we couldn't prove Termination:
18.67/18.73	--------------------------------------------------------
18.67/18.73	SCC:
18.67/18.73	+--transitions: t5
18.67/18.73	+--nodes: n_n_n_l6___2___2___2
18.67/18.73	
18.67/18.73	
18.76/18.79	EOF