Fix a bug in smt2 parser for quantified formulas with attributes, fixes bug 535