SMT-LIB: Fixed parsing of quantified variables
SMT-LIB: Fixed parsing of quantified variables

If the same variable name is used in different quantifiers with
different types an error was generated. The solution consists in using
FreshSymbols for every quantified variable

pysmt/pysmt,pysmt/pysmt