Ocaml 如何在CIL活性分析输出中打印行号

是否有一种方法可以在CIL liveness模块的输出中添加行号而不是基本块号。我试图在

liveness.ml中编辑此代码，但每次都出现错误：

let print_everything () =
 let d = IH.fold (fun i vs d -> 
d ++ num i ++ text ": " ++ LiveFlow.pretty () vs) 
  LiveFlow.stmtStartData nil in
 ignore(printf "%t" (fun () -> d))  

这是C代码活性分析的示例输出：

1: byteinp(int ),ClrReqReceived(int ),
2: byteinp(int ),ClrReqReceived(int ),data(int ),ByteCount(int ),
3: byteinp(int ),ByteCount(int ),

我想要报告活动变量的C代码的行号，而不是基本块号