44.92/44.98	MAYBE
44.92/44.98	
44.92/44.98	
44.92/44.98	Connected Subgraphs where we couldn't prove Termination:
44.92/44.98	--------------------------------------------------------
44.92/44.98	SCC:
44.92/44.98	+--transitions: t7
44.92/44.98	+--nodes: n_n_n_l1___3___2___2
44.92/44.98	
44.92/44.98	
45.00/45.05	EOF