Fix operator+= in the flat boolean domain.
Fix operator+= in the flat boolean domain.

We were not identifying boolean constraints in all cases.
Nevertheless, we have disabled this code for now. Although, it seems
correct it's not efficient.

seahorn/crab,seahorn/crab