In reply to dave_59:
Thank you very much Dave. What’s concerning to me is that the simulator in question doing the “wrong” thing appears to continue to do the wrong thing despite the LRM clearly stating this and having done so for many years from the dates in the LRM committee discussion.
So, tool bug then?
Also, is there a way to work around this that would be simulator agnostic in the meantime?