Fix missing BUGSTOP condition in McReady LKASSERTions