z3 - z3(api)でsmt2インスタンスのdeclare-funの数を取得する方法

Question

*Z3_parse_smtlib2_file(c,Z3_string,0,0,0,num_decl,&decl_names,&decls)* を使用して、変数と変数の数を取得しようとしました。しかし、*num_decl* の値はゼロのままです。私が考える価値は、異なるsmt2ファイルとしてなるでしょう。ありがとう