let elim_ite_simplify_atoms = elim_ite_atoms