./error_spe_proc.nit:23,11--14: Redef error: The function B::toto redefines the procedure A::toto.