Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-11 09:22:31 -0800 (Wed, 11 Jan 2006)
Revision: 8454
Log message:

      Reduce annotations on conditional rewrites --- for all the 0-arity SO
      variables that occur in assumptions, run reduceC on the corresponding subterms
      _before_ applying the rewrite.
      
      For example, if you have:
      
      interactive_rw reduce_foo {| reduce |} :
         'a in footype -->
         foo{'a; 'b; 'a} <--> ...
      
      then the reduce resorce will get the following rewrite:
      
         addrC [1] reduceC thenC addrC [3] reduceC thenC reduce_foo