Predicate signature Semantic::getBlockId1

Gets an ideally unique integer for bb. If it is undesirable to make this unique, then getBlock2 must provide a tiebreaker, such that the pair (getBlockId1(bb),getBlockId2(bb)) becomes unique.