In reply to Jarno:
Also just to clarify, I am now talking about formal checking and not “in-simulation”.