✏️ Editing: deadlock_detecting_lock.py