Add test of lists
Add empty? with a test case
Add two producer-consumer examples
Add a parameter to print the current number of states