Separate dependency variables from penalty variables.
We encountered bug with current implementation, when two versions depends on common package, equivalence results in unsatisfiable status. We return to just implications and reverse implications for penalizations build separately.