let stats_nb_proof_tree_covered_nodes = ref 0