Add wait queues contracts