5.35/5.46	MAYBE
5.35/5.46	
5.35/5.46	
5.35/5.46	Connected Subgraphs where we couldn't prove Termination:
5.35/5.46	--------------------------------------------------------
5.35/5.46	SCC:
5.35/5.46	+--transitions: t1
5.35/5.46	+--nodes: n_n_n_l0___1___1___1
5.35/5.46	
5.35/5.46	
5.49/5.52	EOF