Update translate_test.ml