let is_reify = function Cl(Reify _), _ -> true | _ -> false