confirm that a SpiderMonkey format AST represents an ECMAScript program