Smallest-domain first

[machisuji]

Doesn't prune future variables as it should. I.e. future variable domains have to be compatible with values of assigned current variable.