ctx_simplify: fix bug in simplification of or exprs this triggered when the or covers the whole space -> true
ctx_simplify: fix bug in simplification of or exprs
this triggered when the or covers the whole space -> true

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