Update ter_transfos.ml