let elements t = Hashtbl.fold (fun abstract elt acc -> (abstract, elt) :: acc) t.elts []