Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2006-04-05 18:08:13 -0700 (Wed, 05 Apr 2006)
Revision: 9026
Log message:

      Changed the forward rule for sequent_bterm. It is now more general.
      Also modified "sequent_bterm_depth" to make it more general.