1		:- multifile generate/2.
2		:- multifile shrink/3.
3
4		% no options for boolean
5		generate(prob_value_boolean(_),Boolean) :-
6		random_member(Boolean,[pred_true,pred_false]).
7
8		shrink(prob_value_boolean(_),Boolean,Boolean).