let option_name = "-ltl-spec-on"