Update ter_util.ml