3.53/3.55	MAYBE
3.53/3.55	
3.53/3.55	
3.53/3.55	Connected Subgraphs where we couldn't prove Termination:
3.53/3.55	--------------------------------------------------------
3.53/3.55	SCC:
3.53/3.55	+--transitions: t1
3.53/3.55	+--nodes: n_n_n_l0___1___1___1
3.53/3.55	
3.53/3.55	
3.60/3.61	EOF