Multifile: true
generate(prob_ast_string(Options),String) :- generate(atom(Options),Atom) , String = b(string(Atom),string,[]).
Calls:
Name: =/2
Name: RECURSIVE_CALL/2
shrink(prob_ast_string(_),b(string(Atom),string,Info),Shrunken) :- shrink(atom([]),Atom,ShrunkenValue) , Shrunken = b(string(ShrunkenValue),string,Info).
Name: RECURSIVE_CALL/3