Not generate tests with extern variable [BUG]

[ladisgin]

To Reproduce
Try generate tests for next code

int abs(int a){
    if (a < 0) {
        return -1 * a;
    }
    return a;
}

#define MAX_INDEX 10

extern unsigned g_arrayNumber[MAX_INDEX];

unsigned GetNum(unsigned index)
{
    return g_arrayNumber[index];
}

Test not generated

in UTBot logs
2022-10-24 13:22:25.130 [utbot-B29P ] RunKleeTask.cpp:60 1| . . KLEE: ERROR: Unable to load symbol(g_arrayNumber) while initializing globals