6.31/6.36	MAYBE
6.31/6.36	
6.31/6.36	
6.31/6.36	Connected Subgraphs where we couldn't prove Termination:
6.31/6.36	--------------------------------------------------------
6.31/6.36	SCC:
6.31/6.36	+--transitions: t1
6.31/6.36	+--nodes: n_n_n_l1___1___1___1
6.31/6.36	
6.31/6.36	
6.31/6.42	EOF