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