changes.mady.by.user Unknown User (ma0)
Saved on Nov 30, 2017
...
Both files will show which nodes are holding, and include the state of the holding trigger expressions.
This simulation is expected to fail, since we have a deadlock/ race condition
