Delete ter_convert.ml