let is_k = function Cl(K), _ -> true | _ -> false