The most constrained variable (smallest number of possible choices)
gives the smallest branching factor at the top of the tree; a choice
for it will constrain other variables, reducing their branching factors
also.

Choose the least constraining variable value.
A more constraining variable value is more likely to have all failures
below it.