ocaml - Cil命令(OCaml)ですべての変数を取得するには?

Question

CIL の命令にコメントを追加したい。このコメントでは、その命令のすべての変数を表示したいと思います。CIL ドライバを使用する OCaml モジュールを作成しました。コードは次のようになります

class addCommentVisitor = object
   inherit nopCilVisitor
   method vinst (i: instr) : instr list visitAction = 
   match i with
    | Set(lval, exp, lc) ->
      (* do the job *)
     ...

一致内で、instr i?内のすべての変数を反復する方法 たとえば、命令x[i] = y[j] * (z[k] + l);で、変数の名前を取得したいと思いますx, i, y, j, z, k, l。
ご協力いただきありがとうございます。