从布尔表达式或函数创建断言。