tests for copyAST() and simplifyAST()
constify