alt/base_var_alt5.nit:44,6--7: Type error: expected Int, got Float