Segfault when attempting 0/1 equiv 0/1

[Chris Drake]

>>> from boolexpr import ZERO
>>> ZERO.equiv(ZERO)
Segmentation fault (core dumped)

>>> from boolexpr import ONE
>>> ONE.equiv(ONE)
Segmentation fault (core dumped)

[Chris Drake]

Problem is in Operator::sat(). Since Tseytin transform doesn't simplify, you end up with 0/1 at the leaf nodes, and the code assumes literals.