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