3.84/3.88	MAYBE
3.84/3.88	
3.84/3.88	
3.84/3.88	Connected Subgraphs where we couldn't prove Termination:
3.84/3.88	--------------------------------------------------------
3.84/3.88	SCC:
3.84/3.88	+--transitions: t1
3.84/3.88	+--nodes: n_n_n_l0___1___1___1
3.84/3.88	
3.84/3.88	
3.90/3.94	EOF