feat(array_adaptive): fully implemented rename and partially expand.
feat(array_adaptive): fully implemented rename and partially expand.

TODO: implement expand for array variables.

seahorn/crab,seahorn/crab