Bugfix for func_interp else-case compression
Bugfix for func_interp else-case compression

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