let option_name = "-ltl-raw-auto"