Add checks to regression tests that unknown pointers and string pointers may be equal
Add checks to regression tests that unknown pointers and string pointers may be equal

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