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