409     other.overwrite(*this);  in resolve()
607     other.overwrite(*this);  in resolve()
611     other.overwrite(*this);  in resolve()
623     other.overwrite(*this);  in resolve()
628     other.overwrite(*this);  in resolve()
637     other.overwrite(*this);  in resolve()
653     other.overwrite(*this);  in resolve()
668     other.overwrite(*this);  in resolve()
681     other.overwrite(*this);  in resolve()
687 void Defined::overwrite(Symbol &sym) const {  in overwrite()  function in Defined
690   Symbol::overwrite(sym, DefinedKind);  in overwrite()