Remove unnecessary singleton record from CompareAST.global_identifier
Remove unnecessary singleton record from CompareAST.global_identifier

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