14.45/14.53	MAYBE
14.45/14.53	
14.45/14.53	
14.45/14.53	Termination: (Ranking Functions Found)
14.45/14.53	------------
14.45/14.53	f1076_0_insert_GT: < < arg1 >, < arg1 > >
14.45/14.53	f933_0_createTree_GE: < < - arg2 + arg3 >, < 1 + arg3 - arg5 >, < - arg2 + arg3 >, < - arg2 + arg4 > >
14.45/14.53	
14.45/14.53	
14.45/14.53	Connected Subgraphs where we couldn't prove Termination:
14.45/14.53	--------------------------------------------------------
14.45/14.53	SCC:
14.45/14.53	+--transitions: t1,t2,t3
14.45/14.53	+--nodes: n_n_n_f1288_0_applyTreeChanger_NULL___1___1___1
14.45/14.53	
14.45/14.53	
14.57/14.59	EOF