PUBS: A Practical Upper Bounds Solver

class Cons extends LinkedList {
    int elem;
    LinkedList next;
		
    LinkedList copy(){
	Cons res = new Cons();
       	res.elem = this.elem;
       	res.next = this.next.copy();
       	return res;
    }
   
}