CScope.Variables
val compute_vars_to_destroy_map : CContext.t -> ATDGenerated.Clang_ast_t.stmt -> CContext.var_to_destroy list ClangPointers.Map.t