50.86/50.91	MAYBE
50.86/50.91	
50.86/50.91	
50.86/50.91	Connected Subgraphs where we couldn't prove Termination:
50.86/50.91	--------------------------------------------------------
50.86/50.91	SCC:
50.86/50.91	+--transitions: t3
50.86/50.91	+--nodes: n_n_n_l0___19___10___8
50.86/50.91	
50.86/50.91	
50.86/50.97	EOF