Optimization of PEL.

Literals from unit clauses are not added to PEL as splitting them is
useless.
Additionally we do one unit propagation on the initial setup.