Fixing a bug due to replaying logged lemmas and not doing a full check.