let d_reify = function Cl(Reify(f, n)), _ -> (f, n) | _ -> raise Not_found