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