anchor.diff:  
           | Patterns.NewDelegate(dty,vs,b) -> 
               let vsP = List.map ConvVar vs 
  -            let env = {env with varEnv = List.foldBack2 (fun (v:Var) vP -> Map.add v (vP |> asExpr)) vs vsP env.varEnv }
  +            let env = {env with varEnv = List.foldBack2 (fun (v:Var) vP -> Map.add v (vP |> asExpression)) vs vsP env.varEnv }
               let bodyP = ConvExpr env b
               Expression.Lambda(dty, bodyP, vsP) |> asExpr 
   
  
positive.code: 
                                  stateType.GetConstructor types
  
                              Expression.New(stateConstructor, state) |> asExpr
  
                      Expression.Block (
                          [ construction ],
  
negative.code:                 let stateEnvironment =
                      match capturedVars with
                      | [] -> []
                      | v1 :: [] -> [v1, stateParameter |> asExpression]
                      | _ ->
                          capturedVars
                          |> List.mapi (fun idx var -> var, Expression.Property (stateParameter, "Item" + (idx+1).ToString()) |> asExpression)
  
                  let varParameters =
                      vars
  