let
option_name =
"-slicing-keep-annotations"