In reply to thomase:
Importing uvm_pkg outside a module means it is available in the file scope. This is want you narmally don’t waant to have. Importing it in the module it is available in the corresponding module scope.
The recommendation is to hold concurrent assertions in a seperate unit which will be bound to the design. Your problem is a good example why you should follow this recommendation and avoid to implement concurrent assertions inside the RTL. If you might modify/extend your assertions you are running in even more trouble. Your problems might not be controllable in any way.
The question is, what the effort would be to cut out your aassertions from the RTL.