because they appeared both on negative and positive occurences in bdds
that are equivalent to the empty type.

For instance t = ('a | (Int\'a) | Int)

We use product normalization to clean up this.

Use the new debugging infrastructure to see what is going on during constraint solving.