Multifile: true
generate(prob_value_boolean(_),Boolean) :- random_member(Boolean,[pred_true,pred_false]).
Calls:
Name: random_member/2
shrink(prob_value_boolean(_),Boolean,Boolean).