work directly on the defaulty representation

In this case, converting to a clean representation is not worth the
complexity of dealing with another representation, since the
formula is immediately converted to a BDD and never used again.