Re: [PATCH v2 13/13] verification/rvgen: Remove dead code

[Nam Cao]

Gabriele Monaco <gmonaco@xxxxxxxxxx> writes:
> You might want to remove unused imports (linters should help you with
> that too):
> * re, typing.Iterator, and itertools.islice from automata.py
> * deque and ConstraintRule from dot2k

Thanks, I overlooked those warnings due to the noises from the existing
warnings :(

Let me clean up the existing pylint issues, so that new warnings are
easily noticed.

Nam