how to check if a const in z3 is a variable or a value?,is_const(a) and a.decl().kind() == Z3_OP_UNINTERPRETED