let main _fmt = if Ltl_to_acsl_option.is_on () then run ()