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