74             var def = this.redefined();
83     redefined: function() {  method in SymbolDef
93         if (def && def !== self) return def.redefined() || def;
287                 var redef = def.redefined();
294                 var redef = def.redefined();
407             var redef = new_def.redefined();
624     var redefined = [];
639                         def.redefined = function() {  function
688     redefined.forEach(mangle);
697         var redef = def.redefined();
706         redefined.push(def);
710             def.redefined = function() {
777         var redef = def.redefined();