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