Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-15 00:01:49 -0700 (Sun, 15 Jul 2001)
Revision: 3334
Log message:
When a bound variable already exists in the goal, it should not be
supplied in the rule argument to prevent it from being renamed.