17.53/17.56	MAYBE
17.53/17.56	
17.53/17.56	
17.53/17.56	Termination: (Ranking Functions Found)
17.53/17.56	------------
17.53/17.56	f1770_0_createTree_LE: < < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 > >
17.53/17.56	
17.53/17.56	
17.53/17.56	Connected Subgraphs where we couldn't prove Termination:
17.53/17.56	--------------------------------------------------------
17.53/17.56	SCC:
17.53/17.56	+--transitions: t10,t11
17.53/17.56	+--nodes: n_n_n_f1542_0_count_NULL___4___3___3
17.53/17.56	
17.53/17.56	
17.60/17.62	EOF