Yes, and that is because of the blacklist. A blacklist can only answer if something is on the list. One could either claim that the function should never return

Yes, and that is because of the blacklist. A blacklist can only answer if something is on the list. One could either claim that the function should never return true or that returning true is correct, but the accuracy is unknown.