16.49/16.51	MAYBE
16.49/16.51	
16.49/16.51	
16.49/16.51	Connected Subgraphs where we couldn't prove Termination:
16.49/16.51	--------------------------------------------------------
16.49/16.51	SCC:
16.49/16.51	+--transitions: t5
16.49/16.51	+--nodes: n_n_n_l6___2___2___2
16.49/16.51	
16.49/16.51	
16.49/16.57	EOF