Fix incorrect results in MemSafety-Other

[hbgit]

Verification tasks from SV-COMP

• ../../sv-benchmarks/c/memsafety-ext3/derefInLoop1.c

Expected FALSE, but result is TRUE
Incorrect mapping = BUG

• ../../sv-benchmarks/c/memsafety-ext3/scopes1.c

LOC 16, not checked ptr scope

• ../../sv-benchmarks/c/memsafety-ext3/scopes3.c

Incorrect mapping = ptr not initialized

• ../../sv-benchmarks/c/memsafety-ext3/scopes5.c

Incorrect mapping = incorrect initialized

• ../../sv-benchmarks/c/pthread-memsafety/list1.i

pthread not modelling, I suggest you to create a new issue

• ../../sv-benchmarks/c/memsafety-bftpd/bftpd_2.i

Incorrect modelling struct and void