4.11/4.14	MAYBE
4.11/4.14	
4.11/4.14	
4.11/4.14	Connected Subgraphs where we couldn't prove Termination:
4.11/4.14	--------------------------------------------------------
4.11/4.14	SCC:
4.11/4.14	+--transitions: t1
4.11/4.14	+--nodes: n_n_n_l0___1___1___1
4.11/4.14	
4.11/4.14	
4.13/4.20	EOF