Bugfix for bvurem0 model evaluation (+1 rewriting step)
Bugfix for bvurem0 model evaluation (+1 rewriting step)

seahorn/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,mschlaipfer/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,seahorn/z3,mschlaipfer/z3