1		:- multifile generate/2.
2		:- multifile shrink/3.
3
4		generate(prob_type, Type) :-
5		random_member(Type, [boolean, integer, string]). % TO DO: add nested types
6
7		shrink(Type, In, In) :-
8		Type =.. [prob_ast_set_expr|_].