Use method for blocking thread instead of calling into GenMC directly.

Author: Patrick-6

genmc-sys/cpp/src/MiriInterface/Mutex.cpp

@@ -80,7 +80,7 @@ auto MiriGenmcShim::handle_mutex_lock(ThreadId thread_id, uint64_t address, uint
         // We did not acquire the mutex, so we tell GenMC to block the thread until we can acquire
         // it. GenMC determines this based on the annotation we pass with the load further up in
         // this function, namely when that load will read a value other than `MUTEX_LOCKED`.
-        GenMCDriver::handleAssume(inc_pos(thread_id), AssumeType::Spinloop);
+        this->handle_assume_block(thread_id, AssumeType::Spinloop);
     }
     return MutexLockResultExt::ok(is_lock_acquired);
 }