anchor.diff:      assert ecref.IsExceptionDecl
       let item = Item.ExnCase ecref
       {nenv with 
  -       eUnqualifiedItems=
  +       eUnqualifiedItems =
               match bulkAddMode with 
               | BulkAdd.Yes -> 
                   nenv.eUnqualifiedItems.AddAndMarkAsCollapsible [| KeyValuePair(ecref.LogicalName, item) |]
  
positive.code:     
  /// Add type definitions to the sub-table of the environment indexed by name and arity
  let AddTyconsByDemangledNameAndArity (bulkAddMode: BulkAdd) (tcrefs: TyconRef[]) (tab: LayeredMap<NameArityPair,TyconRef>) = 
      let entries = tcrefs |> Array.map (fun tcref -> KeyTyconByDemangledNameAndArity tcref.LogicalName tcref.TyparsNoRange tcref)
      match bulkAddMode with
      | BulkAdd.Yes -> tab.AddAndMarkAsCollapsible entries
      | BulkAdd.No -> (tab,entries) ||> Array.fold (fun tab (KeyValue(k,v)) -> tab.Add(k,v))
  
  /// Add type definitions to the sub-table of the environment indexed by access name 
  let AddTyconByAccessNames bulkAddMode (tcrefs:TyconRef[]) (tab: LayeredMultiMap<string,_>) = 
      let entries = tcrefs |> Array.collect (fun tcref -> KeyTyconByAccessNames tcref.LogicalName tcref)
      match bulkAddMode with
      | BulkAdd.Yes -> tab.AddAndMarkAsCollapsible entries
      | BulkAdd.No -> (tab,entries) ||> Array.fold (fun tab (KeyValue(k,v)) -> tab.Add (k,v))
  
negative.code:     let tcrefs = 
          match staticResInfo with 
          | TypeNameResolutionStaticArgsInfo.Indefinite -> 
              LookupTypeNameInEntityNoArity m nm mtyp
              |> List.map modref.NestedTyconRef 
          | TypeNameResolutionStaticArgsInfo.Definite _ -> 
              match LookupTypeNameInEntityHaveArity nm staticResInfo mtyp with
              | Some tycon -> [modref.NestedTyconRef tycon] 
  