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