module Mem_exec:sig
..end
module type Domain =sig
..end
val new_counter : unit -> int
Counter that must be used each time a new call is analyzed, in order to refer to it later
val cleanup_results : unit -> unit
Clean all previously stored results
module Make: