Add Queue.isEmpty/poll refinement#1603

nhioe wants to merge 5 commits intoeisop:mastereisop/checker-framework:masterfrom

nhioe:queue-is-empty-poll-refinementnhioe/checker-framework:queue-is-empty-poll-refinementCopy head branch name to clipboard