The check which contextually bound variables should be stored in a dynrule closure is now performed by tvars' that callsfree-variables’, and does not really use context information.

This causes for example a nested rules(..) to fail (STR-13).
Besides, the tvars' andsvars’ are not entirely compatible with the new dynamic rules yet. The LRule construct is not complete worked out either in these strategies.

Submitted on 26 April 2004 at 15:00