1		:- multifile generate/2.
2		:- multifile shrink/3.
3
4		% Options:
5		% small, positive, negative, nozero, between(A,B) or none
6
7		generate(prob_value_integer(Options),int(Value)) :-
8		generate(integer(Options),Value).
9
10		shrink(prob_value_integer(_),int(Value),int(Shrunken)) :-
11		shrink(integer(_),Value,Shrunken).