Name: random_member/2
Module: random
Multifile: true
generate(boolean(_),Value) :- random_member(Value,[true,false]).
Calls:
shrink(boolean(_),Boolean,Boolean).