4.37/4.42	YES
4.37/4.42	
4.37/4.42	
4.37/4.42	Termination: (Ranking Functions Found)
4.37/4.42	------------
4.37/4.42	f1551_0_createTree_LE: < < arg2 >, < arg2 >, < arg2 >, < arg2 >, < arg2 > >
4.37/4.42	f1317_0_mirror_NULL: < < arg1 > >
4.37/4.42	
4.37/4.42	
4.44/4.48	EOF