fix(opensmt/parsers/smt2/smt2parser.yy): memory-leak at ode_list, ode