Positive example: Absence of deadlocks