let select_stmt_ctrl set ~spare ki kf = let ctrl_mark = !Db.Slicing.Mark.make ~data:false ~addr:false ~ctrl:(not spare) in let selection = !Db.Slicing.Select.select_stmt_internal kf ki ctrl_mark in add_to_selection set selection