1		:- multifile generate/2.
2		:- multifile shrink/3.
3
4		:- use_module(library(random),[random_member/2]).
5
6		generate(prob_ast_boolean(_),Value) :-
7		random_member(Val,[boolean_true,boolean_false]) ,
8		Value = b(Val,boolean,[]).
9
10		shrink(prob_ast_boolean(_),Boolean,Boolean).