Merge check_mod_impl_wf
and check_mod_type_wf
#121154
Merged
check_mod_impl_wf
and check_mod_type_wf
#121154