IR.SourcePrinter
val add_info_before : sourcefile:IBase.SourceFile.t -> line:int -> info:string -> unit
val add_info_after : sourcefile:IBase.SourceFile.t -> line:int -> info:string -> unit
val write_all : unit -> unit