let getUseDefFunctionRef: (exp -> exp list -> VS.t * VS.t * exp list) ref =
  ref (fun _func args -> (VS.empty, VS.empty, args))