let
mk_crit_prop_persit_marks fi node_marks =
mk_fct_crit fi (
T
.
CcPropagate
node_marks)