
This was originally removed, since it was checking the same word twice. However, the parsing is clearer with it and the cost is only paid when the KILL is detected, which is very rare. Also, fix some incorrect parsing.
This was originally removed, since it was checking the same word twice. However, the parsing is clearer with it and the cost is only paid when the KILL is detected, which is very rare. Also, fix some incorrect parsing.