check for existence of modules required by processBaseDecl