let select_min_call set ~spare ki kf =
    let stmt_mark =
      !Db.Slicing.Mark.make ~data:(not spare) ~addr:(not spare) ~ctrl:(not spare) in
    let selection = !Db.Slicing.Select.select_min_call_internal kf ki stmt_mark in
      add_to_selection set selection