split scheck.ml and translate.ml