let is_ite = function Ite _ -> true | _ -> false