anchor.diff:  
     AbstractBool isPrimitiveArray(int value) => isOther(value);
   
  -  AbstractBool isPrimitiveBoolean(int value) => isPotentiallyBoolean(value)
  -      ? AbstractBool.trueOrMaybe(
  -          isDefinitelyTrue(value) || isDefinitelyFalse(value))
  -      : AbstractBool.False;
  +  AbstractBool isPrimitiveBoolean(int value) {
  +    if (isDefinitelyTrue(value) || isDefinitelyFalse(value)) {
  +      return AbstractBool.True;
  +    }
  +    if (!isPotentiallyBoolean(value)) return AbstractBool.False;
  +    return AbstractBool.Maybe;
  +  }
   
     AbstractBool isPrimitiveNumber(int value) => isOther(value);
   
  
positive.code:   int get boolOrNullMask => boolMask | nullMask;
    int get nullOrOtherMask => nullMask | otherMask;
    int get boolNullOtherMask => boolOrNullMask | otherMask;
  
    int get powersetBottom => 0;
    int get powersetTop => boolNullOtherMask;
  
    bool isPotentiallyBoolean(int value) => (value & boolMask) != 0;
    bool isPotentiallyOther(int value) => (value & otherMask) != 0;
    bool isPotentiallyNull(int value) => (value & nullMask) != 0;
    bool isPotentiallyBooleanOrNull(int value) => (value & boolOrNullMask) != 0;
    bool isPotentiallyNullOrOther(int value) => (value & nullOrOtherMask) != 0;
  
    bool isDefinitelyTrue(int value) => (value & boolNullOtherMask) == trueMask;
    bool isDefinitelyFalse(int value) => (value & boolNullOtherMask) == falseMask;
    bool isDefinitelyNull(int value) => (value & boolNullOtherMask) == nullMask;
    bool isSingleton(int value) =>
        isDefinitelyTrue(value) ||
        isDefinitelyFalse(value) ||
        isDefinitelyNull(value);
  
    /// Returns `true` if only singleton bits are set and `false` otherwise.
    bool isPrecise(int value) => !isPotentiallyOther(value);
  
    AbstractBool isOther(int value) =>
        AbstractBool.maybeOrFalse(isPotentiallyOther(value));
  
negative.code:   static const int _nullIndex = 2;
    static const int _otherIndex = 3;
  
    static const int _maxIndex = _otherIndex;
    static const List<int> _singletonIndices = [
      _trueIndex,
      _falseIndex,
      _nullIndex,
    ];
  
    const PowersetBitsDomain(this._closedWorld);
  
    CommonElements get commonElements => _closedWorld.commonElements;
  