-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.