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