Use named unit instead of varinfo for extract_arinc analysis globals
Use named unit instead of varinfo for extract_arinc analysis globals

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