Arc-Consistency testing.