alt/base_attr7_alt1.nit:34,17--20: Redef Error: expected `Int` return type; got `Bool`.