Module AltErgoParsers__Psmt2_to_alt_ergo