Create ter_no_submod.ml