Z3 decl_kind（）用于变量表达式在版本4.8.4中不返回Z3_OP_UNINTERPRETED

Question

如果有二进制运算符，我正在将一个大表达式拆分为左右表达式。对于这些拆分表达式，我想检查它们在哪里是变量或值。

在z3版本4.4.1中，我曾经根据decl_kind Z3_OP_UNINTERPRETED对其进行检查。

z3::expr.decl().decl_kind()在Z3版本4.8.4中的变量表达式上返回decl_kind的值作为45101，该变量表达式由版本4.4.1中的Z3_OP_UNINTERPRETED = 2354插入。 Z3版本4.8.4是否有更改？