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)