3.18/3.21	YES
3.18/3.21	
3.18/3.21	
3.18/3.21	Termination: (Ranking Functions Found)
3.18/3.21	------------
3.18/3.21	l1: < < 2 - retryCount_10_0 > >
3.18/3.21	l3: < < 3 - retryCount_10_0 > >
3.18/3.21	
3.18/3.21	
3.24/3.27	EOF