8.08/8.15	MAYBE
8.08/8.15	
8.08/8.15	
8.08/8.15	Connected Subgraphs where we couldn't prove Termination:
8.08/8.15	--------------------------------------------------------
8.08/8.15	SCC:
8.08/8.15	+--transitions: t1
8.08/8.15	+--nodes: n_n_n_l4___1___1___1
8.08/8.15	
8.08/8.15	
8.14/8.21	EOF