70.85/70.91	MAYBE
70.85/70.91	
70.85/70.91	
70.85/70.91	Connected Subgraphs where we couldn't prove Termination:
70.85/70.91	--------------------------------------------------------
70.85/70.91	SCC:
70.85/70.91	+--transitions: t16
70.85/70.91	+--nodes: n_n_n_l3___13___6___5
70.85/70.91	
70.85/70.91	
70.94/70.98	EOF