error_spe_attr.nit:22,16--21: Redef Error: Wrong static type. found Object, expected Int.