alt/base_attr7_alt1.nit:34,17--20: Redef Error: Wrong return type. found Bool, expected Int.