#KJ-109 Experiment with searching a program execution with pattern. Implemented an optimization for multi-threaded model-checking. Now only access to fields is considered transition. Access (read/write) of local variables is not transition. This is done via fieldAccessCheckpoint().