Receive a token, then send it to next unless its value is 0

Property definitions

actors $ ThreadRing :: send_token
	# Receive a token, then send it to `next` unless its value is `0`
	fun send_token(message: Int) do
		if message == 0 then print id
		if message >= 1 then next.async.send_token(message - 1)
	end
lib/actors/examples/thread-ring/thread_ring.nit:34,2--38,4