Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-17 21:00:43 -0800 (Thu, 17 Mar 2005)
Revision: 6969
Log message:
Changed splitITE to use TermAddr functionality for finding appropriate
if-then-else locations, instead of using its own ad-hoc version which didn't
play nicely with nested sequents (such as reflected bterms).