Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-01 13:27:30 -0700 (Sun, 01 Jul 2001)
Revision: 3305
Log message:
Moved nthAssumT from Itt_struct to Itt_squash and made it do
sequent squashing/unsquashing as needed to match the assumption.