2.14/2.23	YES
2.14/2.23	
2.14/2.23	
2.14/2.23	Termination: (Ranking Functions Found)
2.14/2.23	------------
2.14/2.23	f760_0_copy_NONNULL: < < arg1 > >
2.14/2.23	f422_0_random_ArrayAccess: < < arg1 > >
2.14/2.23	
2.14/2.23	
2.26/2.34	EOF