use new predicate BitstreamEqual64
simplify predicate BitstreamEqual64