let num_call_over_max_fixpoint = ref 0
let num_miss_over_max_fixpoint = ref 0
let () = at_exit(fun () -> Format.fprintf Format.err_formatter
let num_call_over_max_fixpoint = ref 0
let num_miss_over_max_fixpoint = ref 0
let () = at_exit(fun () -> Format.fprintf Format.err_formatter