Passes priority-sema. Added thread_yield to sema_up