add predicate EqualBitRange for PokeThenPeek
remove more assertions