3.28/3.35	MAYBE
3.28/3.35	
3.28/3.35	
3.28/3.35	Connected Subgraphs where we couldn't prove Termination:
3.28/3.35	--------------------------------------------------------
3.28/3.35	SCC:
3.28/3.35	+--transitions: t1
3.28/3.35	+--nodes: n_n_n_l0___1___1___1
3.28/3.35	
3.28/3.35	
3.39/3.41	EOF