19.85/19.88	MAYBE
19.85/19.88	
19.85/19.88	
19.85/19.88	Termination: (Ranking Functions Found)
19.85/19.88	------------
19.85/19.88	f1733_0_createTree_LE: < < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 > >
19.85/19.88	
19.85/19.88	
19.85/19.88	Connected Subgraphs where we couldn't prove Termination:
19.85/19.88	--------------------------------------------------------
19.85/19.88	SCC:
19.85/19.88	+--transitions: t3,t4,t5,t6
19.85/19.88	+--nodes: n_n_n_f1830_0_flatten_NULL___1___1___1,n_n_n_f1830_0_flatten_NULL___2___3___3
19.85/19.88	
19.85/19.88	
19.85/19.96	EOF