Fix bug when exclusive version wanted to be selected

Introducing penalty variables, we changed all implications to some form of equivalences. This resulted in some case to unsatisfiable problem. Separating penalty dependencies tree from pkg dependency tree removes that.

Fixes: #140 (closed)