let option_name = "-ltl-output-c-file"