Add Variable.name docstring
Refactor Tseitin's encoding