let run =
  Dynamic.register "Ltl_to_acsl.run" (Type.func Type.unit Type.unit)
    ~journalize:true
    run