Method after

tests/relacy/integrated.cpp:124–131

	}
	
	void after()
	{
		int item;
		for (int i = 0; i != 15; ++i) {
			RL_ASSERT(q.try_dequeue(item));
		}
		RL_ASSERT(!q.try_dequeue(item));
	}
	
	void invariant()
	{