error_attr_2def.nit:19,6--9: Error: a property `toto` is already defined in class `A` at line 18.