Create ter_chk_spec.ml