let mk_crit_add_output_marks ff select =
(*
let pdg = M.get_ff_pdg ff in
let add acc (out, m) =
let nd_m = build_simple_node_selection m in
let node = out in
mk_mark_nodes pdg ~marks:acc [node] nd_m
in let select = List.fold_left add [] output_marks in
*)
mk_ff_user_select ff select