feature: add a random AST generator to be used at testing time

for testing purposes, there are many cases where we need a AST tree generator which explores all combinations.

one solution for this would be to use [Alloy](http://alloytools.org/) or another technology that handles all the combinatorics of ASTs.

that would be useful for #1927