- Improved saving/restoring of global variables in Progvis. This makes arrays of locks work properly in the model checker. - Slight improvement in the performance of the model checker by avoiding thread switches in relation to synchronization primitives. - Expanded API in the Thread class.