alt/base_covar_int_alt4.nit:27,4--5: Type error: expected Int, got Discrete