anchor.diff:              let avoidHelpers = entityRefInThisAssembly g.compilingFslib hdc.TyconRef
               EraseUnions.emitDataSwitch g.ilg (UnionCodeGen cgbuf) (avoidHelpers, cuspec, dests)
               CG.EmitInstrs cgbuf (pop 1) Push0 [ ] // push/pop to match the line above
  -            GenDecisionTreeCases cenv cgbuf stackAtTargets eenv defaultTargetOpt targets repeatSP targetInfos sequel caseLabels cases contf
  +            GenDecisionTreeCases cenv cgbuf stackAtTargets eenv defaultTargetOpt targets targetCounts repeatSP targetInfos sequel caseLabels cases contf
   
           | DecisionTreeTest.Const c ->
               GenExpr cenv cgbuf eenv SPSuppress e Continue
  
positive.code:             (vs, es) ||> List.iter2 (fun v e ->
  
                  // Emit the expression
                  GenBindingRhs cenv cgbuf eenv SPSuppress v e)
  
              vs |> List.rev |> List.iter (fun v ->
                  // Store the results
                  GenStoreVal cenv cgbuf eenvAtTarget v.Range v)
  
              CG.EmitInstr cgbuf (pop 0) Push0 (I_br targetMarkAfterBinds.CodeLabel)
  
negative.code: ///
  /// When inplabOpt is "Some inplab", we are assuming an existing branch to "inplab" and can optionally
  /// set inplab to point to another location if no codegen is required.
  and GenDecisionTreeAndTargetsInner cenv cgbuf inplabOpt stackAtTargets eenv tree targets targetCounts repeatSP targetInfos sequel (contf: Zmap<_,_> -> FakeUnit) =
      CG.SetStack cgbuf stackAtTargets              // Set the expected initial stack.
      match tree with
      | TDBind(bind, rest) ->
  