NonDeter Parallel Buffers - Core 2 SMV
--------------------------------------

The core program includes 2 buffers - each one has a 1 size queue.
The program has a transition of consuming data and a transition of producing one. 
There are transitions of deliver and remove from each buffer.


Translation notes:
------------------

* In the core program the HOLD_PREVIOUS flag is on and that's why all the default case 
  entries of the variables maintain the current value of the variables.