Since the definition of the predicates is somewhat trivial, only the first operation is expanded inline.

• 由于这些谓词的定义非常简单，所以只对第一个操作进行内联扩展。