added support for the modifies clause
fixed bug when using the same constant in the spec of a proc and a call to this proc, fixed bugs in permutation_r (involving NILs)