790         KnownBits BKnown =  in computeKnownBitsFromAssume()  local
795         Known.Zero |= RHSKnown.Zero & BKnown.Zero;  in computeKnownBitsFromAssume()
796         Known.One  |= RHSKnown.One  & BKnown.Zero;  in computeKnownBitsFromAssume()
803         KnownBits BKnown =  in computeKnownBitsFromAssume()  local
808         Known.Zero |= RHSKnown.One  & BKnown.Zero;  in computeKnownBitsFromAssume()
809         Known.One  |= RHSKnown.Zero & BKnown.Zero;  in computeKnownBitsFromAssume()
816         KnownBits BKnown =  in computeKnownBitsFromAssume()  local
822         Known.Zero |= RHSKnown.Zero & BKnown.Zero;  in computeKnownBitsFromAssume()
823         Known.One  |= RHSKnown.One  & BKnown.Zero;  in computeKnownBitsFromAssume()
824         Known.Zero |= RHSKnown.One  & BKnown.One;  in computeKnownBitsFromAssume()
825         Known.One  |= RHSKnown.Zero & BKnown.One;  in computeKnownBitsFromAssume()
832         KnownBits BKnown =  in computeKnownBitsFromAssume()  local
838         Known.Zero |= RHSKnown.One  & BKnown.Zero;  in computeKnownBitsFromAssume()
839         Known.One  |= RHSKnown.Zero & BKnown.Zero;  in computeKnownBitsFromAssume()
840         Known.Zero |= RHSKnown.Zero & BKnown.One;  in computeKnownBitsFromAssume()
841         Known.One  |= RHSKnown.One  & BKnown.One;  in computeKnownBitsFromAssume()