let is_intvar = function 
  | Var(x) -> 
      (match Var.dom_of x with
         | Some(d) -> Dom.eq d Dom.Int
         | _ -> false)
  | _ -> false