Update ter_chk_spec.ml