let pp_int_model _ fmt im =
  Format.fprintf fmt "%s"
    (match im with
     | IMexact -> "IMexact"
     | IMbounded -> "IMbounded"
     | IMmodulo -> "IMmodulo")