Add stub for vertex polarity deduction.
Add stub for vertex polarity deduction.

The `deducePolarity` function needs to be able to analyze a complete
constraint set, and determine the preferred polarities for each variable
in the constraint set.

DaMSL/K3,DaMSL/K3,yliu120/K3