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