Change test verdicts after adding Memory Model analysis

Change verdict from 'FALSE' to 'TRUE' after adding Memory Model analysis for following tests (test/programs/cpalockator/pointers/):

• global-true.c
• global-ptr-1-true.c
• global-ptr-3-true.c

Also, some tests from test/programs/cpalockator/structs/