anchor.diff:      let innerVals = entryPointInfo |> List.map (fun (v, kind) -> (v, (kind, start)))
   
       (* Call the given code generator *)
  -    codeGenFunction cgbuf { eenv with withinSEH = false
  -                                      liveLocals = IntMap.empty()
  -                                      innerVals = innerVals }
  +    codeGenFunction cgbuf {eenv with withinSEH=false
  +                                     liveLocals=IntMap.empty()
  +                                     innerVals = innerVals}
   
       let locals, maxStack, lab2pc, code, exnSpecs, hasSequencePoints = cgbuf.Close()
   
  
positive.code:         let storage = StorageForVal cenv.g m vspec eenv
          match storage, rhsExpr with
          // locals are zero-init, no need to initialize them, except if you are in a loop and the local is mutable.
          | Local (_, realloc, _), Expr.Const (Const.Zero, _, _) when not realloc && not (eenv.inLoop && vspec.IsMutable) ->
              CommitStartScope cgbuf startScopeMarkOpt
          | _ ->
              GenBindingRhs cenv cgbuf eenv SPSuppress vspec rhsExpr
  
negative.code: 
  /// Generate letrec bindings
  and GenLetRecBindings cenv (cgbuf: CodeGenBuffer) eenv (allBinds: Bindings, m) =
      let eenv = SetIsInLoop true eenv
      // Fix up recursion for non-toplevel recursive bindings
      let bindsPossiblyRequiringFixup =
          allBinds |> List.filter (fun b ->
  