Added a simple stateful test (together with sample stateful universe and specification).