Fix a bug in unitPropagate
Fix a bug in unitPropagate

The part of unitPropagate that propagates the assignments across
existing clauses was eliminating the wrong propositions. Rewrite the
lambda to be more clear than clever and fix it.

atodorov/bdcs,weldr/bdcs