bvsls opt engine bugfix/debugging
bvsls opt engine bugfix/debugging

Signed-off-by: Christoph M. Wintersteiger <df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com>

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