let fold_i f m acc =
match m with
Top(Top_Param.Set _, _) ->
(* In this function,
we refuse to iterate on the bases of a value Top(Top_Param.Set _,_)
*)
raise Error_Top
| Top(Top_Param.Top, _) ->
raise Error_Top
| Map m ->
M.fold f m acc