20.32/20.35	MAYBE
20.32/20.35	
20.32/20.35	
20.32/20.35	Connected Subgraphs where we couldn't prove Termination:
20.32/20.35	--------------------------------------------------------
20.32/20.35	SCC:
20.32/20.35	+--transitions: t9
20.32/20.35	+--nodes: n_n_n_l7___1___1___1
20.32/20.35	
20.32/20.35	
20.35/20.42	EOF