Use of uninitialized value in to_dnf/to_cnf

[cjdrake]

The to_dnf and to_cnf functions in the boolexpr extension allows absorption on expressions that are not two-level forms.