Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2006-02-22 15:36:17 -0800 (Wed, 22 Feb 2006)
Revision: 8775
Log message:

      exists_list_elim shouldn't have 'i as one of the arguments.