let translate_marks_to_prop = Marks.translate_marks_to_prop