5.84/5.98	YES
5.84/5.98	
5.84/5.98	
5.84/5.98	Termination: (Ranking Functions Found)
5.84/5.98	------------
5.84/5.98	f1332_0_rotateEachNode_FieldAccess: < < arg1 >, < arg2 > >
5.84/5.98	f1142_0_insert_GT: < < arg1 >, < arg1 > >
5.84/5.98	f972_0_createTree_GE: < < arg4 - arg5 >, < - arg2 + arg4 >, < - arg2 + arg3 >, < 1 + arg3 - arg5 > >
5.84/5.98	
5.84/5.98	
5.95/6.04	EOF