21.73/21.75	MAYBE
21.73/21.75	
21.73/21.75	
21.73/21.75	Connected Subgraphs where we couldn't prove Termination:
21.73/21.75	--------------------------------------------------------
21.73/21.75	SCC:
21.73/21.75	+--transitions: t1
21.73/21.75	+--nodes: n_n_n_l1___1___1___1
21.73/21.75	
21.73/21.75	
21.77/21.81	EOF