let get_marks proj kf =
  ProjBoolMarks.find_marks proj (Kernel_function.get_vi kf)