4.00/4.02	MAYBE
4.00/4.02	
4.00/4.02	
4.00/4.02	Connected Subgraphs where we couldn't prove Termination:
4.00/4.02	--------------------------------------------------------
4.00/4.02	SCC:
4.00/4.02	+--transitions: t3
4.00/4.02	+--nodes: n_n_n_l0___1___1___1
4.00/4.02	
4.00/4.02	
4.05/4.08	EOF