关于FORMALITY的一个问题

各位大神好：最近在学习FORMALITY的使用。在一个工程中，FORMAL读入RTL后出现以下的告警
Warning:Can not link cell '/WORK/IntmemAddrGen_ID_WIDTH9/u_intMemAdrNxt' to its reference design'intMemAdrNxt'
但是模块intMemAdrNxt在filelist里面已经包括，并且在loading的时候也没有报错，请问这个问题是什么原因导致的，非常感谢

贴上脚本, log上下文吧