-error_attr_2def.nit:19,6--10: Redef error: A::_toto is an inherited property. To redefine it, add the redef keyword.
-error_attr_2def.nit:19,13--18: Redef Error: Wrong static type. found Object, expected Int.
+error_attr_2def.nit:19,6--9: Error: a property `toto` is already defined in class `A` at line 18.