let is_iff = function Iff _ -> true | _ -> false