Fixes in array_expansion.hpp
Fixes in array_expansion.hpp

- Fix use of std::set_intersection, std::set_union, and std::set_difference.
- Forward and backward assignments in the base domain must be
  redirected to assign_bool_var, assign or pointer_assign.

seahorn/crab,seahorn/crab