Creating a Deadlock with Semaphores in Rohdos