Fix extern contract checking on abstract modules

Fix extern contract checking on abstract modules #7606