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