1		:- multifile generate/2.
2		:- multifile shrink/3.
3
4		% same options as atom
5
6		generate(prob_ast_string(Options),String) :-
7		generate(atom(Options),Atom) ,
8		String = b(string(Atom),string,[]).
9
10		shrink(prob_ast_string(_),b(string(Atom),string,Info),Shrunken) :-
11		shrink(atom([]),Atom,ShrunkenValue) ,
12		Shrunken = b(string(ShrunkenValue),string,Info).