Remove faulty top check. Top address is  any including top.
Remove faulty top check. Top address is  any including top.

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