Faster iteration through a variable's constraints during constraint propagation