Delete ter_convert_ok.ml