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:   | None ->
  
    match expr with
    | Expr.Const (c, m, ty) ->
        GenConstant cenv cgbuf eenv (c, m, ty) sequel
    | Expr.Match (spBind, exprm, tree, targets, m, ty) ->
  
negative.code:       GenApp cenv cgbuf eenv (f, fty, tyargs, args, m) sequel
    | Expr.Val (v, _, m) -> 
        GenGetVal cenv cgbuf eenv (v, m) sequel
  
    | Expr.Op (op, tyargs, args, m) -> 
        match op, args, tyargs with 
  