Properly reset state
Common words being skipped need to clear pending lemmas
Tests