fixes bug in simulation and observability of locks