error_spe_proc.nit:23,17--19: Redef Error: `toto` is a procedure, not a function.