Bad model count for tautologies

[haz]

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