let is_c = function Cl(C), _ -> true | _ -> false