./error_right_bool.nit:17,4--12: Type error: expected Bool, got Int