test(	'test_progs/limit.pl', 'limit of polytype analysis',
	polytype,
	[([X/list(para(alpha,[])),Y/list(para(beta,[]))],[])],
	append(X,Y,Z) ).     

