let option_name = "-impact-slicing"