8.32/8.69	MAYBE
8.32/8.69	
8.32/8.69	
8.32/8.69	Connected Subgraphs where we couldn't prove Termination:
8.32/8.69	--------------------------------------------------------
8.32/8.69	SCC:
8.32/8.69	+--transitions: t3,t4
8.32/8.69	+--nodes: n_n_n_l1___1___1___1
8.32/8.69	
8.32/8.69	
8.35/8.75	EOF