Clarify manual on different/inconsistent ordering of variables used in d...

...escription of decision rules

The previous description used the same variables to denote both declaration and DR order, thus confusing users.