fixed bug in computation of 'value' variables

For [{par, X, Xs} | Ys] variables used in Ys need to be among the 'value'
variables of commands in Xs.
another 'value' variable bug

Variables in the left-hand side of a par need to appear in the values variables
of the right-hand side.