let is_int p x =
  try
    (match cnstrnt p x with
       | Var.Cnstrnt.Real(Dom.Int), rho -> Some(rho)
       | _ -> None)
  with
      Not_found -> None