Allow the creation of a new variable with a hint for preferred branching polarity
Currently, the user can ask for the creation of a new variable in the solver using nextFreeVarId(). In some cases, depending of what the variable represents, it might help to give a hint to the solver of the truth value to branch first on. overloading the nextFreeVarId() method to provide such feature would be nice.