-error_meth_2def.nit:19,6--9: Redef error: A::toto is an inherited property. To redefine it, add the redef keyword.
-error_meth_2def.nit:19,11--17: Redef Error: Wrong type for parameter `a'. found Char, expected Int.
+error_meth_2def.nit:19,6--9: Error: A property toto is already defined in class A at line 18.