Assignment operator returns a reference and added constness to is_bottom and is_top methods.
Assignment operator returns a reference and added constness to is_bottom and is_top methods.

caballa/crab,seahorn/crab,seahorn/crab