alt/error_redef_1alt2_alt7.nit:32,12--13: Redef error: B::f1 redefines A::f1 with 1 parameter(s).
alt/error_redef_1alt2_alt7.nit:32,12--13: Redef error: The function B::f1 redefines the procedure A::f1.