Module AltErgoParsers.Psmt2_to_alt_ergo