4.13/4.18	MAYBE
4.13/4.18	
4.13/4.18	
4.13/4.18	Connected Subgraphs where we couldn't prove Termination:
4.13/4.18	--------------------------------------------------------
4.13/4.18	SCC:
4.13/4.18	+--transitions: t1
4.13/4.18	+--nodes: n_n_n_l0___1___1___1
4.13/4.18	
4.13/4.18	
4.19/4.24	EOF