COSTA: COSt and Termination Analyzer for Java Bytecode
    
    package series;

class NestedRecIter {
    
    void f(int n) {
	
	    for(int i=0; i<n; i++); // printing

	    for(int i=n-1; i>=0; i--) {

		f(i);
	    }
	}
    }