WIP: generating random ivory values via AST instead of smart constructors