let is_apply = function Cl(Apply), _ -> true | _ -> false