4.26/4.29	MAYBE
4.26/4.29	
4.26/4.29	
4.26/4.29	Connected Subgraphs where we couldn't prove Termination:
4.26/4.29	--------------------------------------------------------
4.26/4.29	SCC:
4.26/4.29	+--transitions: t1
4.26/4.29	+--nodes: n_n_n_l1___1___1___1
4.26/4.29	
4.26/4.29	
4.35/4.35	EOF