./error_left_bool.nit:17,4--13: Type error: expected Bool, got Int