Create ter_to_string.ml