Making Prog::getGlobalName use Global::addressWithinGlobal