alt/base_covar_int_alt4.nit:39,7--8: Type error: expected Int, got Discrete