Added test case that crashes the combo.

The combo performs CSE but replaces the dominating node by the dominated
one. Afterwards, the dominance property is violated.