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