In reply to nnn314:
Hello could you explain what are you trying to check maybe there could be multiple way to define the same checker.
Anyway in your case you experiencing an overlap issue since no enabling condition is set. Each evaluation point a new check will be spawn causing probably the simulation to be overly slowed down. Maybe if you could explain more in depth what are the specifications you are trying to check we could create a disable iff condition or an enabling condition.
Regards