-error_spe_attr.nit:22,16--21: Redef Error: Wrong static type. found Object, expected Int.
+error_spe_attr.nit:22,15--20: Redef Error: expected `Int` return type; got `Object`.
+error_spe_attr.nit:22,15--20: Redef Error: expected `Int` type for parameter `a'; got `Object`.