#KJ-109 Experiment with searching a program execution with pattern. Fixed strictness model checking, broken by previous commit.