hasGlobalName
A hook used by the Printer when generating unique names to avoid collisions with globally defined names that exist outside of the current source file.
A hook used by the Printer when generating unique names to avoid collisions with globally defined names that exist outside of the current source file.