Added generative testing for AST conversions.