let select_stmt_zone set mark zone ~before ki kf = let selection = !Db.Slicing.Select.select_stmt_zone_internal kf ki ~before zone mark in let set = add_to_selection set selection in select_stmt_ctrl set ~spare:true ki kf