alt/error_redef_1alt1_alt7.nit:32,16--18: Redef Error: `f1` is a procedure, not a function.