ChooseValue
procedure, I think that the assignement of v_i needs "..." after v_2; that is, it should be corrected with (I will use the LaTeX notation):
$v_i \gets \text{value from the domain of } x_i \text{ that is consistent with } \{v_1,v_2 ,\ldots, v_{i-1}\}$