Negative example: Absence of deadlocks