tools/memory-model: Remove duplicated code from lock.cat