Add CRAM annotation to 00-sanity/33-hoare-over-paths

Although there are asserts, so update_suite doesn't complain about no checks.

tests/regression/00-sanity/33-hoare-over-paths.c

@@ -1,7 +1,7 @@
 // PARAM: --set ana.path_sens[+] mutex
 #include <assert.h>
 #include <pthread.h>
-
+// CRAM
 pthread_mutex_t m = PTHREAD_MUTEX_INITIALIZER;
 
 int main() {