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