7.03/7.05	MAYBE
7.03/7.05	
7.03/7.05	
7.03/7.05	Connected Subgraphs where we couldn't prove Termination:
7.03/7.05	--------------------------------------------------------
7.03/7.05	SCC:
7.03/7.05	+--transitions: t4
7.03/7.05	+--nodes: n_n_n_l2___2___1___1
7.03/7.05	
7.03/7.05	
7.08/7.11	EOF