44.69/44.73	MAYBE
44.69/44.73	
44.69/44.73	
44.69/44.73	Connected Subgraphs where we couldn't prove Termination:
44.69/44.73	--------------------------------------------------------
44.69/44.73	SCC:
44.69/44.73	+--transitions: t12
44.69/44.73	+--nodes: n_n_n_l1___12___8___5
44.69/44.73	
44.69/44.73	
44.69/44.80	EOF