Unlock exception using monitors
https://pseuco.com/#/edit/remote/ztl5a7kiqzwu7nppd2ma
This program nondeterministicly yields exception!("Exception: Agent tried to unlock a mutex he did not lock!")
. However, no explicit mutex was used, only implicit ones used by monitors.