Added SATSolver.justify_choice