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