*
* Simulation without MC and without parallelism (contexts/nthreads=1) will not pay the price of a simcall for an
* harmless setter. When running in parallel, you want your write access to be done in a mutual exclusion way, while the
*
* Simulation without MC and without parallelism (contexts/nthreads=1) will not pay the price of a simcall for an
* harmless setter. When running in parallel, you want your write access to be done in a mutual exclusion way, while the
*
* When running in MC, you want to make this access visible to the checker. Actually in this case, it's not visible from
* the checker (and thus still use a fast track) if the setter is called from the actor that created the object.
*
* When running in MC, you want to make this access visible to the checker. Actually in this case, it's not visible from
* the checker (and thus still use a fast track) if the setter is called from the actor that created the object.