从布尔表达式创建断言。