Comment that check is a hack to determine whether unknown relates to a global variable
Comment that check is a hack to determine whether unknown relates to a global variable

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer