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