This paper describes an interesting approach to fixing that failure:

https://users.ece.utexas.edu/~gligoric/papers/NieETAL19TrigI...

Occasionally I have had luck by embedding assertions in C code that fail when the trigger conditions are met… but mostly that’s not practical. I’ve never had any luck with the dependent ticket approach, those tickets always end up lost forever.