Partially revert "Improved DCA by using bit information."

This partially reverts commit 59435e3b40542bba3a5141a1fd24da71ffeafd01.

We may propagate don't care information for bits that
we used to infer other don't care information.
improve quickcheck call
fix warning: remove latin1 encoded char
fix warning
fix warning