Hash all StrPtrs to same value when they need to be considered comparable, otherwise not
Hash all StrPtrs to same value when they need to be considered comparable, otherwise not

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