let mark_spare_nodes ff nodes =
    let ff_marks = get_ff_marks ff in
    let m_spare = Marks.mk_gen_spare in
    let node_marks =
      List.map (fun n -> (PdgMarks.mk_select_node n, m_spare)) nodes in
    let to_prop = mark_and_propagate ff_marks node_marks in
      to_prop