Add exclamation mark to unknown to indicate it should always be unknown
Add exclamation mark to unknown to indicate it should always be unknown

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