anchor.diff:      (* Call the given code generator *)
       codeGenFunction cgbuf { eenv with withinSEH = false
                                         liveLocals = IntMap.empty()
  -                                      innerVals = innerVals
  -                                      inLoop = false }
  +                                      innerVals = innerVals }
   
       let locals, maxStack, lab2pc, code, exnSpecs, hasSequencePoints = cgbuf.Close()
   
  
positive.code:             contf Fake
  
      | Expr.Let (bind, body, _, _) ->
          if canProcessSequencePoint then
              ProcessSequencePointForExpr cenv cgbuf sp expr
  
          // This case implemented here to get a guaranteed tailcall
          // Make sure we generate the sequence point outside the scope of the variable
          let startScope, endScope as scopeMarks = StartDelayedLocalScope "let" cgbuf
  
negative.code: 
  and GenLinearExpr cenv cgbuf eenv sp expr sequel canProcessSequencePoint (contf: FakeUnit -> FakeUnit) =
      let expr = stripExpr expr
  
      if canProcessSequencePoint then
          ProcessSequencePointForExpr cenv cgbuf sp expr
  
      match expr with 
      | LinearOpExpr (TOp.UnionCase c, tyargs, argsFront, argLast, m) ->
          GenExprs cenv cgbuf eenv argsFront
  