bugfix for ackr_model_converter (refcounts were off due to func_interps not being copied properly).
bugfix for ackr_model_converter (refcounts were off due to func_interps not being copied properly).

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