fix(realpaver/rp_container.c): remove side-effect assertion
fix(opensmt/parsers/smt2/smt2parser.yy): memory leak
fix(opensmt/parsers/smt2/smt2parser.yy): memory leak