约束式编程学习笔记[5] local consistency (1) 剪定义域