Update ter_struc_box.ml