Update ter_use_box.ml