anchor.diff:  
         let scope = {
           Types.Scope.New with 
  -          ScopeLevel  = getScopeLevel !sr;
  +          ScopeLevel = getScopeLevel !sr;
             Variables = Map.ofSeq variables
         }
   
  
positive.code:       let sl = (!sr).DynamicScopeLevels.Head
  
        match getScopeChain !sr with
        | x::xs when Scope.hasLocal x name -> Variable(name, sl.Local)
        | x::xs when Scope.hasClosure x name -> Closure(name, sl.Global)
        | _  -> 
          match List.tryFindIndex (fun s -> Scope.hasLocal s name) (!sr).ScopeChain with
          //We found a scope with a Local named 'name'
  
negative.code:         let ds = (!sr).DynamicScopeLevels
          let sl = ds.Head
  
          sr := {
            !sr with 
              DynamicScopeLevels = {sl with Local = sl.Local-1; Global = sl.Global-1} :: ds.Tail
          }
  
      let createUndefinedLocal sr name =
  