Fixing a bug in ite compression where a theory atom was rewritten to an equivalent formula that was not a theory atom.