从 Boolean 表达式创建断言。