Bad model count for tautologies

```python
import nnf
x = nnf.Var('x')
T = x | ~x
nnf.dsharp.compile(T.to_CNF(), smooth=True).model_count()
```

Should equal 2, but it's equal to 1. This is because `T.to_CNF()` evaluates to `true`