fix(opensmt/parsers/smt2/smt2parser.yy): memory leak