anchor.diff:                  let eenvinner = 
                       {eenv with 
                            letBoundVars=(mkLocalValRef v)::eenv.letBoundVars}
  -                let cloinfo,_,_ = GetIlxClosureInfo cenv cgbuf.mgbuf v.Range true None eenvinner (Option.get repr)
  +                let cloinfo,_,_ = GetIlxClosureInfo cenv v.Range true None eenvinner (Option.get repr)
                   cloinfo
               
               let idx,eenv = AllocLocal cenv cgbuf eenv v.IsCompilerGenerated (v.CompiledName, cenv.g.ilg.typ_Object, false) scopeMarks
  
positive.code: #endif
      | _ -> GenType cenv m tyenvinner fv.Type
  
  and GetIlxClosureFreeVars cenv mgbuf m selfv eenvouter takenNames expr =
  
      // Choose a base name for the closure
      let basename = 
  
negative.code:     let takenNames = vs |> List.map (fun v -> v.CompiledName)
  
      // Get the free variables and the information about the closure, add the free variables to the environment
      let (cloAttribs,cloInternalFreeTyvars,cloContractFreeTyvars,_,cloFreeVars,ilCloTypeRef,ilCloFreeVars,eenvinner) = GetIlxClosureFreeVars cenv m selfv eenvouter takenNames expr
  
      // Put the type and value arguments into the environment
      let rec getClosureArgs eenv ntmargs tvsl (vs:Val list) = 
  