1/11/2007

Runing the example: tvla stack stack-general -join part -DGNUM(2)

This is TVP version of a TVMC input to check linearization
of a non-blocking stack.
* .tvs files are finished.
* stack_pred.tvp is finished.
* stack-stat.tvp - added %p tr_scheduled(tr) - finished.
* stack.tvp - added correct labels and a scheduling mechanism.
