Add missing checks to 52-apron-mukherjee/19-mukherjee_fig_3_11

Author: sim642

tests/regression/52-apron-mukherjee/19-mukherjee_fig_3_11.c

@@ -1,6 +1,6 @@
 // SKIP PARAM: --set ana.activated[+] apron --set ana.path_sens[+] threadflag --set ana.activated[+] threadJoins
-// NOCHECK: checks nothing?
 #include <pthread.h>
+#include <goblint.h>
 
 int x;
 int y;
@@ -10,6 +10,7 @@ pthread_mutex_t m = PTHREAD_MUTEX_INITIALIZER;
 void* T1(void* arg) {
     while(0 == 0) {
         pthread_mutex_lock(&m);
+        __goblint_check(x == y);
         if (x > 0) {
             x = x - 1;
             y = y - 1;
@@ -22,6 +23,7 @@ void* T1(void* arg) {
 void* T2(void* arg) {
     while(0 == 0) {
         pthread_mutex_lock(&m);
+        __goblint_check(x == y);
         if (x < 10) {
             x = x + 1;
             y = y + 1;