let option_name = "-ltl-AI-off"