anchor.diff:    }
   
     HType intersection(HType other) {
  +    if (other.isConflicting()) return HType.CONFLICTING;
       if (other.isUnknown()) return HType.BOOLEAN;
       if (other.isBooleanOrNull()) return HType.BOOLEAN;
       if (other.isBoolean()) return HType.BOOLEAN;
  
positive.code:   }
  
    HType intersection(HType other) {
      if (other.isUnknown()) return HType.EXTENDABLE_ARRAY;
      if (other.isExtendableArray()) return HType.EXTENDABLE_ARRAY;
      if (other.isString()) return HType.CONFLICTING;
  
negative.code:   }
  
    HType intersection(HType other) {
      if (other.isConflicting()) return HType.CONFLICTING;
      if (other.isUnknown()) return HType.INTEGER_OR_NULL;
      if (other.isIntegerOrNull()) return HType.INTEGER_OR_NULL;
      if (other.isInteger()) return HType.INTEGER;
  