alt/base_var_alt1.nit:26,6--7: Type error: expected Int, got Float