SpiderMonkey Identifier nodes should contain mangled names.

lib/mozilla-ast.js

@@ -328,9 +328,10 @@
     });
 
     def_to_moz(AST_Symbol, function To_Moz_Identifier(M) {
+        var def = M.definition();
         return {
             type: "Identifier",
-            name: M.name
+            name: def ? def.mangled_name || def.name : M.name
         };
     });