Add member isUndecided to solver
Add test for Solver::isUndecided
Test simple pb propagation