Optimize Queries.ID.is_top and is_bot
Optimize Queries.ID.is_top and is_bot

Previously each top/bot call did lots of precision lookups.
is_bot and is_top are extensively used in meet, which is applied generously for queries.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer