ast_ids_to_bindlist(b(identifier(Name),record(_),_),bind(Name,[])).
ast_ids_to_bindlist(b(identifier(Name),seq(integer),_),bind(Name,Value)) :-
generate(prob_value_seq([]),Value).
ast_ids_to_bindlist(b(identifier(Name),set(integer),_),bind(Name,Value)) :-
generate(prob_value_set([]),Value).
ast_ids_to_bindlist(b(identifier(Name),Type,_),bind(Name,Value)) :-
% add options to inner type for generation
inner_type(Type,Inner,Outter) ,
% options for integer, other types ignore this option
NewInner =.. [Inner,[small,positive,nozero]] ,
surround_type(NewInner,Outter,TempType) ,
gen_type(TempType,value,NewType) ,
generate(NewType,Value).