let to_list s =
  Term.Map.fold 
    (fun x (i, _) acc -> (x, i) :: acc) 
    s []