YES Termination: (Ranking Functions Found) ------------ f1044_0_toArray_EQ: < < arg6 > > method 1