fixed memory leak (`mem' remained allocated upon exception thrown in check_args).
fixed memory leak (`mem' remained allocated upon exception thrown in check_args).

wujunzero/z3,kyledewey/z3,jirislaby/z3,jirislaby/z3,mschlaipfer/z3,jirislaby/z3,seahorn/z3,wujunzero/z3,conceptofproof/z3,wujunzero/z3,jirislaby/z3,kyledewey/z3,mschlaipfer/z3,conceptofproof/z3,mschlaipfer/z3,wujunzero/z3,kyledewey/z3,conceptofproof/z3,jirislaby/z3,kyledewey/z3,seahorn/z3,seahorn/z3,conceptofproof/z3,wujunzero/z3,kyledewey/z3,jirislaby/z3,seahorn/z3,conceptofproof/z3,mschlaipfer/z3,conceptofproof/z3,mschlaipfer/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,wujunzero/z3,seahorn/z3