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