Multifile: true
generate(prob_value_integer(Options),int(Value)) :- generate(integer(Options),Value).
Calls:
Name: RECURSIVE_CALL/2
shrink(prob_value_integer(_),int(Value),int(Shrunken)) :- shrink(integer(_),Value,Shrunken).
Name: RECURSIVE_CALL/3