let get_marks proj kf =
  try KfTopVisi.find proj kf ; None
  with Not_found ->
    ProjBoolMarks.find_marks (proj_marks proj) (Kernel_function.get_vi kf)