let option_name = "-ltl"