Alt_ergo_common.Input_frontend
val register_legacy : unit -> unit
Register the legacy frontend with parser for natif and smt2/psmt2 format as Input