add is_considered_uninterpreted checks into acker_helper
add is_considered_uninterpreted checks into acker_helper

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