更详细的BoolVar的例子