4.35/4.43	YES
4.35/4.43	
4.35/4.43	
4.35/4.43	Termination: (Ranking Functions Found)
4.35/4.43	------------
4.35/4.43	f1044_0_toArray_EQ: < < arg6 > >
4.35/4.43	
4.35/4.43	
4.46/4.49	EOF