Cigar: check self assignment in the copy assignment constructor