AltErgoParsers.Psmt2_to_alt_ergoSourceOffer an interface with the library psmt2-frontend and register a parser for smt2 and psmt2 extensions. This interface allows Alt-Ergo to partially support the SMT-LIB2 standard and a polymorphic extension.
Register the psmt2 frontend as a parser for smt2 and psmt2 extension