anchor.diff:          let defnsEs = 
               defnsDs |> MutRecShapes.map 
                   (fun (tyconOpt, fixupValueExprBinds, methodBinds) -> 
  -                    let fixedBinds = EliminateInitializationGraphs cenv.g true denv fixupValueExprBinds bindsm
  +                    let fixedBinds = EliminateInitializationGraphs g true denv fixupValueExprBinds bindsm
                       tyconOpt, fixedBinds @ methodBinds)
                   (fun (fixupValueExprBinds) -> 
  -                    EliminateInitializationGraphs cenv.g true denv fixupValueExprBinds bindsm)
  +                    EliminateInitializationGraphs g true denv fixupValueExprBinds bindsm)
                   id
           
           defnsEs,envMutRec
  
positive.code:     env
   
  let AddLocalTyconRefs ownDefinition g amap m tcrefs env = 
       ModifyNameResEnv (fun nenv -> AddTyconRefsToNameEnv BulkAdd.No ownDefinition g amap m false nenv tcrefs) env 
  
  let AddLocalTycons g amap m (tycons: Tycon list) env = 
       AddLocalTyconRefs false g amap m (List.map mkLocalTyconRef tycons) env 
  
  let AddLocalTyconsAndReport tcSink g amap scopem tycons env = 
      let env = AddLocalTycons g amap scopem tycons env
  
negative.code: 
      let TcExnDefn cenv envInitial parent (SynExceptionDefn(core,aug,m),scopem) = 
          let binds1,exnc = TcExnDefnCore cenv envInitial parent core
          let envMutRec =  AddLocalTycons cenv.g cenv.amap scopem [exnc] envInitial
  
          let defns = [MutRecShape.Tycon(MutRecDefnsPhase2DataForTycon(Some exnc, parent, ModuleOrMemberBinding, (mkLocalEntityRef exnc), None, NoSafeInitInfo, [], aug, m, NoNewSlots))]
          let binds2,envFinal = TcMutRecDefns_Phase2 cenv envInitial m scopem (envMutRec, defns)
          let binds2flat = binds2 |> MutRecShapes.collectTycons |> List.map snd |> List.concat
          // Augment types with references to values that implement the pre-baked semantics of the type
          let binds3 = AddAugmentationDeclarations.AddGenericEqualityBindings cenv envFinal exnc
          binds1 @ binds2flat @ binds3,exnc,envFinal
  
      let TcExnSignature cenv envInitial parent tpenv (SynExceptionSig(core,aug,_),scopem) = 
          let binds,exnc = TcExnDefnCore cenv envInitial parent core
          let envMutRec =  AddLocalExnDefnAndReport cenv.tcSink scopem exnc (AddLocalTycons cenv.g cenv.amap scopem [exnc] envInitial)
          let ecref = mkLocalEntityRef exnc
          let vals,_ = TcTyconMemberSpecs cenv envMutRec (ContainerInfo(parent,Some(MemberOrValContainerInfo(ecref,None,None,NoSafeInitInfo,[])))) ModuleOrMemberBinding tpenv aug
          binds,vals,ecref,envMutRec
  