3.65/3.70	YES
3.65/3.70	
3.65/3.70	
3.65/3.70	Termination: (Ranking Functions Found)
3.65/3.70	------------
3.65/3.70	f519_0_length_NONNULL: < < arg2 > >
3.65/3.70	f343_0_appendNewList_GT: < < arg1 > >
3.65/3.70	
3.65/3.70	
3.73/3.76	EOF