Update ter_toString.ml