Update has_addition_operator.h