alt/base_ret_covar_int_alt1.nit:38,18--20: Redef Error: Wrong return type. found Int, expected V.