A JavaScript AST optimizer