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

class Factorial {
	/**
	 * 
	 * @costaCheck UB = 12*nat(n)+4
	 */	
	static int fact(int n){
		if (n<=0) return 1;
		else return n*fact(n-1);    
	}

	public static void main(String[] args) {

		int test = 10;
		fact(test);
	}
};