Delete ter_ite_tmp.ml