Fix in SMT2 parser for parametric datatypes