let kf_visible proj kf = try KfTopVisi.find proj kf ; true with Not_found -> get_marks proj kf <> None