Update comment

Author: Patrick-6

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

@@ -21,7 +21,8 @@ auto MiriGenmcShim::handle_mutex_lock(ThreadId thread_id, uint64_t address, uint
         Annotation::ExprVP(
             NeExpr<ModuleID::ID>::create(
                 // `RegisterExpr` marks the value of the current expression, i.e., the loaded value.
-                // The id is zero, since this annotation only uses one input variable.
+                // The `id` is ignored by GenMC; it is only used by the LLI frontend to substitute
+                // other variables from previous expressions that may be used here.
                 RegisterExpr<ModuleID::ID>::create(size_bits, /* id */ 0),
                 ConcreteExpr<ModuleID::ID>::create(size_bits, MUTEX_LOCKED)
             )