Revert "Treat UNKNOWN and UNKNOWN! differently"
Revert "Treat UNKNOWN and UNKNOWN! differently"

This reverts commit 0cb2c9c42c660b2c0b6889581b659ef7d213d105.

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