YES Termination: (Ranking Functions Found) ------------ f1821_0_duplicateRandomPath_NULL: < < arg2 >, < arg2 >, < arg1 > > f1893_0_createTree_LE: < < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 > > f1989_0_duplicateRandomPath_NULL: < < -2 + arg1 >, < -2 + arg1 > > method 1