test(	'testpgs/qsort.pl',
	pair,
	[], % 
        iqsort(Xs,Ys) ).     
test(	'testpgs/qsort.pl',
	pair,
	[], % 
        iqsort(Xs,Ys) ).     
test(	'testpgs/pg14.10',
	pair,
	[], % 
	connected(X,Y) ).     
test(	'testpgs/pg14.10',
	pair,
	[], % Y is ground
	connected(X,Y) ).     
test(	'testpgs/pg11.1',
	pair,
	[], % Xs,Ys are ground
        merge(Xs,Ys,Zs) ).
test(	'testpgs/pg11.1',
	pair,
	[], % 
        merge(Xs,Ys,Zs) ).
test(	'testpgs/nrev.pl',
	pair,
	[], % 
	nrev(X,Y) ).
test(	'testpgs/nrev.pl',
	pair,
	[], % Y is ground
	nrev(X,Y) ).
test(	'testpgs/buggyqs.pl', 
	pair,
	[], % Li is ground
        qs(Li,Lo) ).
test(	'testpgs/buggyqs.pl', 
	pair,
	[], % Lo is ground
        qs(Li,Lo) ).
test(	'testpgs/treesort.pl',
	pair,
	[], % 
        treesort(Xs,Ys) ).
test(	'testpgs/treesort.pl',
	pair,
	[], % 
        treesort(Xs,Ys) ).
test(	'testpgs/diff.pl',
	pair,
	[], % Y, Z are ground
	diff(X,Y,Z) ).
test(	'testpgs/diff.pl',
	pair,
	[], % 
	diff(X,Y,Z) ).
test(	'testpgs/insert.pl',
	pair,
	[],	% 
	insert(X,Y,Z) ).
test(	'testpgs/insert.pl',
	pair,
	[],	% 
	insert(X,Y,Z) ).
test(	'testpgs/insert.pl',
	pair,
	[],	% 
	insert(X,Y,Z) ).
test(	'testpgs/pg11.5',
	pair,
	[], % 
	sort(Xs,Ys) ).     
test(	'testpgs/pg11.5',
	pair,
	[], % 
	sort(Xs,Ys) ).     
test(	'testpgs/pg15.4',
	pair,
	[], % 
	quicksort(Xs,Ys) ).
test(	'testpgs/pg15.4',
	pair,
	[], % 
	quicksort(Xs,Ys) ).
test(	'testpgs/pg3.20',
	pair,
	[], % 
	sort(Xs,Ys) ).
test(	'testpgs/pg3.20',
	pair,
	[], % 
	sort(Xs,Ys) ).
test(	'testpgs/pg3.28',
	pair,
	[], % 
	heapify(T,H) ).     
test(	'testpgs/pg3.28',
	pair,
	[], % 
	heapify(T,H) ).
test(	'testpgs/pg3.5',
	pair,
	[], %
	exp(N,X,Y) ).     
test(	'testpgs/pg3.5',
	pair,
	[], %
	exp(N,X,Y) ).
test(	'testpgs/pg3.5',
	pair,
	[], %
	exp(N,X,Y) ).
test(	'testpgs/pg3.6',
	pair,
	[], %
	factorial(N,F) ).     
test(	'testpgs/pg3.6',
	pair,
	[], %
	factorial(N,F) ).     




