Idf.Debug
val dumping : to_:string -> ( 'a -> 'b ) -> 'a -> 'b
Serialize all the Imandra API calls that IDF makes on a file, for reproducibility
val dump : string -> unit -> unit