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

