1		:- multifile generate/2.
2		:- multifile shrink/3.
3
4		generate(var,_).
5
6		shrink(var,Value,Value).