let mk_crit_mark_calls fi_caller to_call mark =
  let select = try
    let caller = M.get_fi_kf fi_caller in
    let pdg_caller =  !Db.Pdg.get caller in
    let call_stmts = !Db.Pdg.find_call_stmts ~caller to_call in
    let stmt_mark stmt =
      let stmt_ctrl_node = !Db.Pdg.find_call_ctrl_node pdg_caller stmt in
        (PdgMarks.mk_select_node stmt_ctrl_node, mark)
    in
    let select = List.map stmt_mark call_stmts in
      T.CuSelect select
  with PdgTypes.Pdg.Top -> T.CuTop mark
  in
    mk_fct_user_crit fi_caller select