More efficient use of unit propagation.

We don't manage a split set, but remove from the PEL instead and create
copies of the setups. This allows to memorize the unit propagation.