Migrating from post-execution trace file verification to live verification; also preparing to verify against execution statements in trace file.