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